Suchergebnisse - [en] LOGIC PROGRAMMING

Programming logic controllers em MATLAB von 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 …”
Volltext

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

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

Preferred answer sets for extended logic programs von 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 …”
Volltext

Compilación En Programación De Conjuntos De Respuestas Para El Problema De Búsqueda De Caminos Con Múltiples Agentes von 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 …”
Volltext

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 von Ferrer Rojas, Antoni

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

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 von 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 …”
Volltext

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

Volltext

Génération Automatique de Preuves Pour un Logiciel Tuteur en Géométrie von 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 …”
Volltext

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

Volltext

Petri nets: Properties, analysis and applications von 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 …”
Volltext

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

Volltext

An Interval Type-2 Fuzzy Logic Toolbox for Control Applications von 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 …”
Volltext

Fortalecimiento de las habilidades en lógica de programación mediante un juego interactivo basado en Lean Thinking von 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 …”
Volltext

Assessment of utility side cost savings from battery energy storage von 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 …”
Volltext

Model Checking Markov Chains Against Unambiguous Buchi Automata von 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 …”
Volltext

A Petri net model for reasoning in the presence of inconsistency von Murata, T., Subrahmanian, V.S., Wakayama, T.

“… Petri net models for query processing in logic programming were initially developed by T. Murata and D. Zhang (IEEE Trans. Software Eng., vol.14, no.4, p.481-97, 1988 …”
Volltext

Modeling PU learning using probabilistic logic programming von 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 …”
Volltext

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I von 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 …”
Volltext

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II von 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 …”
Volltext

Programación de Controladores Lógicos (PLC) mediante Ladder y Lenguaje de Control Estructurado (SCL) en MATLAB/Programming logic controllers (PLC) using ladder and structured control language (SCL) in MATLAB/Programação de Controladores Lógicos (PLC) mediante Ladder e Linguagem de Controle Estruturado (SCL) em MATLAB von Páez-Logreira, Heyder David, Zamora-Musa, Ronald, Bohórquez-Pérez, José

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