Výsledky vyhledávání - [en] LOGIC PROGRAMMING

Programming logic controllers em MATLAB Autor 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…”
Získat plný text

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

“…Teachers’own experiences allows them to select appropriate strategies and learning methodologies to design activities that would allow students to stay…”
Získat plný text

Preferred answer sets for extended logic programs Autor 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…”
Získat plný text

Compilación En Programación De Conjuntos De Respuestas Para El Problema De Búsqueda De Caminos Con Múltiples Agentes Autor 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…”
Získat plný 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 Autor Ferrer Rojas, Antoni

“… en automatización, sino facilitar un primer contacto entre el alumno y la lógica, mediante propuestas de problemas…”
Získat plný 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 Autor 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…”
Získat plný text

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

Získat plný text

Génération Automatique de Preuves Pour un Logiciel Tuteur en Géométrie Autor 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…”
Získat plný text

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

Získat plný text

Petri nets: Properties, analysis and applications Autor 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…”
Získat plný text

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

Získat plný text

An Interval Type-2 Fuzzy Logic Toolbox for Control Applications Autor 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…”
Získat plný text

Fortalecimiento de las habilidades en lógica de programación mediante un juego interactivo basado en Lean Thinking Autor 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…”
Získat plný text

Assessment of utility side cost savings from battery energy storage Autor 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…”
Získat plný text

Model Checking Markov Chains Against Unambiguous Buchi Automata Autor 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…”
Získat plný text

A Petri net model for reasoning in the presence of inconsistency Autor 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…”
Získat plný text

Modeling PU learning using probabilistic logic programming Autor 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…”
Získat plný text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I Autor 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…”
Získat plný text

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II Autor 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…”
Získat plný text

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 Autor 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…”
Získat plný text