Výsledky vyhledávání - Logic Programming General Terms Algorithms Keywords Answer sept programming

Splitting a Disjunctive Logic Program.

Autoři: BEN-ELIYAHU-ZOHARY, RACHEL

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p507-521, 15p

Témata: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science

A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels.

Autoři: BOGATARKAN, AYSU ERDEM, ESRA

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p540-557, 18p

Témata: TUNNELS, ROBOTIC path planning, APPLIED sciences, LOGIC programming, AUTOMATED materials handling, PLANNING techniques

Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue.

Autoři: GEBSER, MARTIN INCLEZAN, DANIELA RICCA, FRANCESCO

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p394-401, 8p

Témata: LOGIC programming, CONFERENCES & conventions, SCHOLARLY publishing

ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.

Autoři: CALIMERI, FRANCESCO IANNI, GIOVAMBATTISTA PACENZA, FRANCESCO a další

Zdroj: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p281-303, 23p

Témata: KNOWLEDGE representation (Information theory), LOGIC programming, ADAPTIVE computing systems, EVENT processing (Computer science)

Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Autoři: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. a další

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p612-630, 19p

Témata: LOGIC programming, SOFTWARE verification, PREDICATE calculus, ASSERTIONS (Logic), FORMAL methods (Computer science), FUNCTIONAL programming (Computer science)

Fast Inference for Probabilistic Answer Set Programs Via the Residual Program.

Autoři: AZZOLINI, DAMIANO RIGUZZI, FABRIZIO

Zdroj: Theory & Practice of Logic Programming; Jul2024, Vol. 24 Issue 4, p682-697, 16p

Témata: ARTIFICIAL intelligence, LOGIC programming, THEORY-practice relationship, PROBABILITY theory, POSSIBILITY

AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.

Autoři: Liang, Baoyu Wang, Yuchen Tong, Chao

Zdroj: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p

Témata: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY

Linear-Time Temporal Answer Set Programming.

Autoři: AGUADO, FELICIDAD CABALAR, PEDRO DIÉGUEZ, MARTÍN a další

Zdroj: Theory & Practice of Logic Programming; Jan2023, Vol. 23 Issue 1, p2-56, 55p

Témata: FINITE differences, GENERAL semantics, KNOWLEDGE representation (Information theory), LOGIC programming, NONMONOTONIC logic, TEMPORAL databases

Witnesses for Answer Sets of Logic Programs.

Autoři: YISONG WANG EITER, THOMAS YUANLIN ZHANG a další

Zdroj: ACM Transactions on Computational Logic; Apr2023, Vol. 24 Issue 2, p1-46, 46p

Témata: DEBUGGING, LOGIC, WITNESSES, PROBLEM solving, LOGIC programming

Quantifying over Optimum Answer Sets.

Autoři: MAZZOTTA, GIUSEPPE RICCA, FRANCESCO TRUSZCZYNSKI, MIREK

Zdroj: Theory & Practice of Logic Programming; Jul2024, Vol. 24 Issue 4, p716-736, 21p

Témata: KNOWLEDGE representation (Information theory), NONMONOTONIC logic, LOGIC programming, GLOBAL optimization, POLYNOMIALS

Geometric reasoning on the euclidean traveling salesperson problem in answer set programming¹.

Autoři: Bertagnon, Alessandro Gavanelli, Marco

Zdroj: Intelligenza Artificiale; 2024, Vol. 18 Issue 1, p139-152, 14p

Témata: COST functions, CONSTRAINT programming, LOGIC programming, EUCLIDEAN distance, COMPUTER science

CON-FOLD Explainable Machine Learning with Confidence.

Autoři: MCGINNESS, LACHLAN BAUMGARTNER, PETER

Zdroj: Theory & Practice of Logic Programming; Jul2024, Vol. 24 Issue 4, p663-681, 19p

Témata: LOGIC programming, CLASSIFICATION algorithms, DATA mining, INDUCTION (Logic), EPISTEMIC logic

An Investigation of Coding Education Practices in terms of Primary School Students' Algorithmic Thinking Skills and Students' Opinions.

Autoři: Erkan, Anil Akkaya, Sumeyra

Zdroj: Journal of Education in Science, Environment & Health; 2025, Vol. 11 Issue 1, p47-73, 27p

Témata: COMPUTER programming, EDUCATIONAL technology, PRIMARY education, SCHOOL children, INTERACTIVE learning

Object Identity Reloaded—A Comprehensive Reference for an Efficient and Effective Framework for Logic-Based Machine Learning.

Autoři: Ferilli, Stefano

Zdroj: Electronics (2079-9292); Apr2025, Vol. 14 Issue 8, p1523, 44p

Témata: INDUCTION (Logic), LOGIC programming, MACHINE learning, DATABASE management, RESEARCH personnel, DEEP learning

From Integer Programming to Machine Learning: A Technical Review on Solving University Timetabling Problems.

Autoři: Gu, Xin Krish, Muralee Sohail, Shaleeza a další

Zdroj: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p

Témata: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

On the Equivalence between Logic Programming and SETAF.

Autoři: ALCÂNTARA, JOÃO CORDEIRO, RENAN SÁ, SAMY

Zdroj: Theory & Practice of Logic Programming; Nov2024, Vol. 24 Issue 6, p1208-1236, 29p

Témata: PROGRAM transformation, LOGIC programming, SEMANTICS (Philosophy), EQUIVALENCE (Linguistics), MANURES

lpopt: A Rule Optimization Tool for Answer Set Programming.

Autoři: Bichler, Manuel Morak, Michael Woltran, Stefan a další

Zdroj: Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p275-296, 22p

Témata: LOGIC programming, ALGORITHMS, ARITHMETIC

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality.

Autoři: Alviano, Mario Giordano, Laura Dupré, Daniele Theseider

Zdroj: Journal of Logic & Computation; Nov2024, Vol. 34 Issue 8, p1469-1499, 31p

Témata: DESCRIPTION logics, MULTILAYER perceptrons, MANY-valued logic, SEMANTICS (Philosophy), LOGIC programming, KNOWLEDGE base

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL.

Autoři: QURESHI, HAYA MAJID FABER, WOLFGANG

Zdroj: Theory & Practice of Logic Programming; Mar2024, Vol. 24 Issue 2, p368-393, 26p

Témata: DESCRIPTION logics, KNOWLEDGE base, LOGIC programming, OWLS, INFORMATION storage & retrieval systems

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals.

Autoři: Cristiá, Maximiliano Rossi, Gianfranco

Zdroj: ACM Transactions on Computational Logic; Jan2024, Vol. 25 Issue 1, p1-34, 34p

Témata: SET theory, CONSTRAINT programming, LOGIC programming