Search Results - Logic Programming General Terms Algorithms Keywords Answer set programming

Counting Answer Sets of Disjunctive Answer Set Programs.

Authors: KABIR, MD MOHIMENUL CHAKRABORTY, SUPRATIK MEEL, KULDEEP S.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p703-721, 19p

Subject Terms: LOGIC programming, KNOWLEDGE representation (Information theory), ALGORITHMS

Splitting a Disjunctive Logic Program.

Authors: BEN-ELIYAHU-ZOHARY, RACHEL

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

Subject Terms: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science

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

Authors: BOGATARKAN, AYSU ERDEM, ESRA

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

Subject Terms: TUNNELS, ROBOTIC path planning, APPLIED sciences, LOGIC programming, AUTOMATED materials handling, PLANNING techniques

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

Authors: CALIMERI, FRANCESCO IANNI, GIOVAMBATTISTA PACENZA, FRANCESCO et al.

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

Subject Terms: KNOWLEDGE representation (Information theory), LOGIC programming, ADAPTIVE computing systems, EVENT processing (Computer science)

Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12.

Authors: LIERLER, YULIYA

Source: Theory & Practice of Logic Programming; Sep2024, Vol. 24 Issue 5, p1031-1050, 20p

Subject Terms: SEMANTICS (Philosophy), KNOWLEDGE representation (Information theory), LOGIC programming, ARTIFICIAL intelligence, SEMANTICS

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming.

Authors: KATZOURIS, NIKOS PALIOURAS, GEORGIOS ARTIKIS, ALEXANDER

Source: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p362-386, 25p

Subject Terms: ONLINE education, MACHINE learning, SET theory, LOGIC programming, CALCULUS, HUMAN activity recognition

Witnesses for Answer Sets of Logic Programs.

Authors: YISONG WANG EITER, THOMAS YUANLIN ZHANG et al.

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

Subject Terms: DEBUGGING, LOGIC, WITNESSES, PROBLEM solving, LOGIC programming

Quantifying over Optimum Answer Sets.

Authors: MAZZOTTA, GIUSEPPE RICCA, FRANCESCO TRUSZCZYNSKI, MIREK

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

Subject Terms: KNOWLEDGE representation (Information theory), NONMONOTONIC logic, LOGIC programming, GLOBAL optimization, POLYNOMIALS

Linear-Time Temporal Answer Set Programming.

Authors: AGUADO, FELICIDAD CABALAR, PEDRO DIÉGUEZ, MARTÍN et al.

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

Subject Terms: FINITE differences, GENERAL semantics, KNOWLEDGE representation (Information theory), LOGIC programming, NONMONOTONIC logic, TEMPORAL databases

lpopt: A Rule Optimization Tool for Answer Set Programming.

Authors: Bichler, Manuel Morak, Michael Woltran, Stefan et al.

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

Subject Terms: LOGIC programming, ALGORITHMS, ARITHMETIC

Parallel Logic Programming: A Sequel.

Authors: DOVIER, AGOSTINO FORMISANO, ANDREA GUPTA, GOPAL et al.

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p905-973, 69p

Subject Terms: LOGIC programming, PARALLEL programming, DIFFUSION of innovations, MULTICORE processors, TECHNOLOGICAL innovations, PROGRAMMING languages

A General Framework for Stable Roommates Problems using Answer Set Programming.

Authors: ERDEM, ESRA FIDAN, MÜGE MANLOVE, DAVID et al.

Source: Theory & Practice of Logic Programming; Nov2020, Vol. 20 Issue 6, p911-925, 15p

Subject Terms: ROOMMATES, LOGIC programming, STRONTIUM

Locally Tight Programs.

Authors: FANDINNO, JORGE LIFSCHITZ, VLADIMIR TEMPLE, NATHAN

Source: Theory & Practice of Logic Programming; Sep2024, Vol. 24 Issue 5, p942-972, 31p

Subject Terms: CONFIRMATION (Logic), LOGIC programming, PHILOSOPHY of language, LOGIC, INTEGERS

Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation.

Authors: LEHTONEN, TUOMO WALLNER, JOHANNES P. JӒRVISALO, MATTI

Source: Theory & Practice of Logic Programming; Nov2021, Vol. 21 Issue 6, p717-734, 18p

Subject Terms: LOGIC programming, ALGORITHMS

Continuous reasoning for adaptive container image distribution in the cloud–edge continuum.

Authors: Azzolini, Damiano Forti, Stefano Ielo, Antonio

Source: Cluster Computing; Oct2025, Vol. 28 Issue 7, p1-17, 17p

Subject Terms: EDGE computing, RESOURCE allocation, NETWORK performance

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

Authors: Alviano, Mario Giordano, Laura Dupré, Daniele Theseider

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

Subject Terms: DESCRIPTION logics, MULTILAYER perceptrons, MANY-valued logic, SEMANTICS (Philosophy), LOGIC programming, KNOWLEDGE base

Reactive Answer Set Programming.

Authors: BRODA, KRYSIA SADRI, FARIBA BUTLER, STEPHEN

Source: Theory & Practice of Logic Programming; May2022, Vol. 22 Issue 3, p367-418, 52p

Subject Terms: LOGIC programming, KELPS

Disjunctive answer set solvers via templates.

Authors: BROCHENIN, REMI MARATEA, MARCO LIERLER, YULIYA

Source: Theory & Practice of Logic Programming; Jul2016, Vol. 16 Issue 4, p465-497, 33p

Subject Terms: SET theory, COMPUTER programming, LOGIC programming, INFORMATION theory, INFORMATION technology

Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Authors: CALIMERI, FRANCESCO PERRI, SIMONA ZANGARI, JESSICA

Source: Theory & Practice of Logic Programming; Jul2019, Vol. 19 Issue 4, p603-628, 26p

Subject Terms: NONMONOTONIC logic, LOGIC programming, COMPUTER systems, SEMANTIC Web, KNOWLEDGE representation (Information theory)

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

Authors: QURESHI, HAYA MAJID FABER, WOLFGANG

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

Subject Terms: DESCRIPTION logics, KNOWLEDGE base, LOGIC programming, OWLS, INFORMATION storage & retrieval systems