• Search: "logic programming"

Showing 41 - 60 of 19,251

41

Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars
Povéda, Guillaume ; Alvarez, Nahum ; Artigues, Christian ; et al.

Toronto, Canada Theory of computation →... Computing methodologies... Large-scale scheduling p... Theory of computation →... Theory of computation →... …
Conference
Save to List
42

Binary Non-Termination in Term Rewriting and Logic Programming
Payet, Etienne ; Laboratoire d'Informatique et de Mathématiques (LIM) ; Université de La Réunion (UR) ; et al.
Workshop on Termination (WST), Akihisa Yamada, Aug 2023, Obergurgl, Austria. ⟨10.48550/arXiv.2307.11549⟩

Obergurgl, Austria Term Rewriting Logic Programming Theory of computation Logic in Computer Scienc... Computer and information... …
Conference
Save to List
43

Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem
Marte, Cinzia ; Mochi, Marco ; Dodaro, Carmine ; et al.
Journal of Medical Systems: The Home of Clinical Informatics Research. 49(1)

Academic journal
Save to List
44

Common abductive explanations in first order logic
Rouveirol, Céline ; Soldano, Henry ; Kazi Aoual, Malik ; et al.
Machine Learning. 114(12)

Academic journal
Save to List
45

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
Ai, Lun ; Muggleton, Stephen H. ; Liang, Shi-Shun ; et al.
Machine Learning. 114(11)

Academic journal
Save to List
46

Enhancing Computational Thinking and Programming Logic Skills with App Inventor 2 and Robotics: Effects on Learning Outcomes, Motivation, and Cognitive Load.
Huang, Yu-Ting ; Li, Chien-Lung ; Chang, Chin-Chih ; et al.
Sensors (14248220); Nov2025, Vol. 25 Issue 22, p7059, 37p

TAIWAN ROBOTICS MOTIVATION (Psychology) VISUAL programming (Comp... TECHNOLOGY education COGNITIVE load …
Academic journal
Save to List
47

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.
Strąk, Łukasz ; Wieczorek, Wojciech ; Nowakowski, Arkadiusz
Procedia Computer Science. 2025, Vol. 270, p2318-2325. 8p.

Logic programming Constraint satisfaction Graph theory Grids (Cartography) Planar graphs
Academic journal
Save to List
48

Answer Set Searching with Weighted MaxSAT.
Nowakowski, Arkadiusz ; Wieczorek, Wojciech ; Strąk, Łukasz
Procedia Computer Science. 2025, Vol. 270, p2301-2309. 9p.

NP-hard problems Logic programming Combinatorial optimizati... Knowledge representation... Mathematical programming Algorithms …
Academic journal
Save to List
49

Golem: a flexible and efficient solver for constrained Horn clauses.
Blicha, Martin ; Britikov, Konstantin ; Sharygina, Natasha
Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p143-160, 18p

SATISFIABILITY (Computer... CONSTRAINT programming ALGORITHMS MODULAR design LOGIC programming MODEL validation
Academic journal
Save to List
50

FROM THE GUIDE TO NONEXISTENT BIRDS: AN ORNITHOLOGICAL LOGIC.
DUVVOORI, KAVI
Michigan Quarterly Review; Fall2025, Vol. 64 Issue 4, p645-666, 22p

ARTIFICIAL intelligence HYPERTEXT literature COMPUTER art LOGIC programming COMPUTER programming
Academic journal
Save to List
51

Artificial Intelligence and Inherent Mathematical Difficulty Open Access.
Dean, Walter ; Naibo, Alberto
Philosophia Mathematica; Oct2025, Vol. 33 Issue 3, p283-329, 47p

ARTIFICIAL intelligence MATHEMATICS LANGUAGE models RECURSION theory CONSTRAINT satisfaction MATHEMATICAL proofs …
Academic journal
Save to List
52

A UNIFYING FRAMEWORK FOR PROBABILISTIC ARGUMENTATION.
ALFANO, GIANVINCENZO ; LEIVA, MARIO A. ; SIMARI, GERARDO I.
Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Oct2025, Vol. 12 Issue 6, p1757-1784, 28p

KNOWLEDGE representation... COMPUTATIONAL complexity LOGIC LOGIC programming
Academic journal
Save to List
53

Synthesizing Recursive Logic Programs by Inverting General Resolution
Taosheng Qiu ; Ryutaro Ichise
IEEE Access, Vol 13, Pp 102649-102658 (2025)

Inductive logic programm... Electrical engineering.... inverse resolution predicate invention TK1-9971
Academic journal
Save to List
54

NTI+cTI: a Logic Programming Termination Analyzer
Mesnard, Frédéric ; Payet, Etienne ; Laboratoire d'Informatique et de Mathématiques (LIM) ; et al.
Workshop on Termination (WST 2023), Akihisa Yamada, Aug 2023, Obergurgl, Austria

Obergurgl, Austria Logic Programming [INFO]Computer Science [...
Conference
Save to List
55

Evaluación de aplicación web para la creación de juegos que fomentan el aprendizaje de la lógica de programación.
Jaimez-González, Carlos Roberto ; García-Mendoza, Betzabet ; Erazo-Palacios, Javier
Dilemas Contemporáneos: Educación, Política y Valores. 2024 Special Issue, Vol. 12, p1-23. 23p.

Teachers Web-based user interface... Logic programming Aesthetics Scripts
Academic journal
Save to List
56

Coding Analogy.
Koç, Aykan ; Taşlıbeyaz, Elif
Erzincan University Journal of Education Faculty / Erzincan Üniversitesi Egitim Fakültesi Dergisi. ara2024, Vol. 26 Issue 4, p554-564. 11p.

Student teachers Focus groups Analogy Logic programming Acquisition of data
Academic journal
Save to List
57

Transduce: learning transduction grammars for string transformation
Transduce : apprentissage de grammaires de transduction pour la transformation de chaines
Frydman, Francis ; Mangion, Philippe ; Aucune ; et al.

Program synthesis Progra... Program synthesis Programming by Examples Inductive Logic Programm... String transformation Abstract Transduction Gr... …
Electronic Resource
Save to List
58

AutoMan: A Platform for Integrating Human-Based and Digital Computation.
Barowy, Daniel W. ; Curtsinger, Charlie ; Berger, Emery D. ; et al.
Communications of the ACM. Jun2016, Vol. 59 Issue 6, p102-109. 8p. 1 Diagram, 1 Chart, 2 Graphs.

COMPUTER programming CROWDSOURCING DISTRIBUTED computing PROGRAMMING languages LOGIC programming
Journal
Save to List
59

Continuous reasoning for adaptive container image distribution in the cloud–edge continuum
Azzolini, Damiano ; Forti, Stefano ; Ielo, Antonio
Cluster Computing: The Journal of Networks, Software Tools and Applications. 28(7)

Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter