Search Results - [en] LOGIC PROGRAMMING

Programming logic controllers em MATLAB by Paez-Logreira, Heyder David, Zamora-Musa, Ronald, Bohorquez-Perez, Jose

“…There are different programming languages for Programmable Logic Controllers (PLC), the most common of these is the graphical programming language called LADDER…”
Get full text

Learning through teaching: a program focused on the teaching of programming logic from an early stage in public schools supported by service-learning by Jiménez, Consuelo

“…Teachers’own experiences allows them to select appropriate strategies and learning methodologies to design activities that would allow students to stay…”
Get full text

Preferred answer sets for extended logic programs by Brewka, Gerhard, Eiter, Thomas

“…In this paper, we address the issue of how Gelfond and Lifschitz's answer set semantics for extended logic programs can be suitably modified to handle prioritized programs…”
Get full text

Compilación En Programación De Conjuntos De Respuestas Para El Problema De Búsqueda De Caminos Con Múltiples Agentes by Araya, Rodrigo Nicolás Teófilo Gómez

“…) and Answer Set Programming (ASP) exist. In this thesis, we describe in detail the first family of compilations to ASP that solve sumof-costs MAPF over 4-connected grids…”
Get full text

VirPLC: una metodología para el desarrollo de capacidades, habilidades y autoestima mediante la estimulación de la lógica con una herramienta sencilla, funcional y dinámica by Ferrer Rojas, Antoni

“… en automatización, sino facilitar un primer contacto entre el alumno y la lógica, mediante propuestas de problemas…”
Get full text

Deficiencia de adquisición de competencias mínimas en estudiantes de desarrollo de software: hacia un nuevo modelo de enseñanza pedagógico praxeológico by Helmer Julián Romero Romero, Cano Olivera, Luis Eduardo, Charry Mora, Carlos Guillermo, Pardo Morales, Jorge Rolando

“…Objetivo: Identificar un nuevo modelo de enseñanza pedagógico praxeológico que contribuya a la adquisición de competencias mínimas en los estudiantes de…”
Get full text

Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves by Goadrich, Mark, Oliphant, Louis, Shavlik, Jude

Get full text

Génération Automatique de Preuves Pour un Logiciel Tuteur en Géométrie by Font, Ludovic

“…Le logiciel QED-Tutrix est un tuteur intelligent qui offre un cadre aidant les élèves de secondaire à résoudre des problèmes de géométrie. Une de ses…”
Get full text

An order-sorted query system for sort, predicate, and meta-predicate hierarchies by Kaneiwa, Ken, Nguyen, Philip H. P.

Get full text

Petri nets: Properties, analysis and applications by Murata, T.

“… Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided…”
Get full text

A hybrid reasoning system for terminologies and first-order clauses in knowledge bases by Kaneiwa, Ken

Get full text

An Interval Type-2 Fuzzy Logic Toolbox for Control Applications by Castro, J.R., Castillo, O., Melin, P.

“…This paper presents the development and design of a graphical user interface and a command line programming toolbox for construction, edition and observation of interval type-2 fuzzy inference systems…”
Get full text

Fortalecimiento de las habilidades en lógica de programación mediante un juego interactivo basado en Lean Thinking by Cardenas Humanez, Maria Celeste, Marín Miranda, Ovidio José, Salas Álvarez, Daniel

“…The purpose of this study was to strengthen programming logic skills in Systems Engineering students, implementing a mobile application based on Lean Thinking concepts, supported by constant…”
Get full text

Assessment of utility side cost savings from battery energy storage by Alt, J.T., Anderson, M.D., Jungst, R.G.

“…A method of determining the dynamic operating cost benefits of energy storage systems for utility applications is presented. The production costing program…”
Get full text

Modeling PU learning using probabilistic logic programming by Verreet, Victor, De Raedt, Luc, Bekker, Jessa

“…The goal of learning from positive and unlabeled (PU) examples is to learn a classifier that predicts the posterior class probability. The challenge is that…”
Get full text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I by Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models…”
Get full text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II by Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“…; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models…”
Get full text

Model Checking Markov Chains Against Unambiguous Buchi Automata by Benedikt, Michael, Lenhardt, Rastislav, Worrell, James

“…We give a polynomial-time algorithm for model checking finite Markov chains against omega-regular specifications given as unambiguous Buchi automata…”
Get full text

Inverse reinforcement learning through logic constraint inference by Baert, Mattijs, Leroux, Sam, Simoens, Pieter

“… This hybrid method combines the strengths of inverse reinforcement learning and inductive logic programming…”
Get full text

How to reason with OWL in a logic programming system by Krotzsch, M., Hitzler, P., Vrandecic, D., Sintek, M.

“…Logic programming has always been a major ontology modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g…”
Get full text