Suchergebnisse - logic programming general terms algorithms keywords answer ((set OR sept) OR siet) programming~

Splitting a Disjunctive Logic Program.

Autoren: BEN-ELIYAHU-ZOHARY, RACHEL

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

Schlagwörter: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science

Counting Answer Sets of Disjunctive Answer Set Programs.

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

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

Schlagwörter: LOGIC programming, KNOWLEDGE representation (Information theory), ALGORITHMS

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

Autoren: BOGATARKAN, AYSU ERDEM, ESRA

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

Schlagwörter: TUNNELS, ROBOTIC path planning, APPLIED sciences, LOGIC programming, AUTOMATED materials handling, PLANNING techniques

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

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

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

Schlagwörter: KNOWLEDGE representation (Information theory), LOGIC programming, ADAPTIVE computing systems, EVENT processing (Computer science)

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

Autoren: AZZOLINI, DAMIANO RIGUZZI, FABRIZIO

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

Schlagwörter: ARTIFICIAL intelligence, LOGIC programming, THEORY-practice relationship, PROBABILITY theory, POSSIBILITY

Quantifying over Optimum Answer Sets.

Autoren: MAZZOTTA, GIUSEPPE RICCA, FRANCESCO TRUSZCZYNSKI, MIREK

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

Schlagwörter: KNOWLEDGE representation (Information theory), NONMONOTONIC logic, LOGIC programming, GLOBAL optimization, POLYNOMIALS

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

Autoren: LIERLER, YULIYA

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

Schlagwörter: SEMANTICS (Philosophy), KNOWLEDGE representation (Information theory), LOGIC programming, ARTIFICIAL intelligence, SEMANTICS

Witnesses for Answer Sets of Logic Programs.

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

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

Schlagwörter: DEBUGGING, LOGIC, WITNESSES, PROBLEM solving, LOGIC programming

Linear-Time Temporal Answer Set Programming.

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

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

Schlagwörter: FINITE differences, GENERAL semantics, KNOWLEDGE representation (Information theory), LOGIC programming, NONMONOTONIC logic, TEMPORAL databases

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

Autoren: Bertagnon, Alessandro Gavanelli, Marco

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

Schlagwörter: COST functions, CONSTRAINT programming, LOGIC programming, EUCLIDEAN distance, COMPUTER science

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming.

Autoren: KATZOURIS, NIKOS PALIOURAS, GEORGIOS ARTIKIS, ALEXANDER

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

Schlagwörter: ONLINE education, MACHINE learning, SET theory, LOGIC programming, CALCULUS, HUMAN activity recognition

lpopt: A Rule Optimization Tool for Answer Set Programming.

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

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

Schlagwörter: LOGIC programming, ALGORITHMS, ARITHMETIC

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

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

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

Schlagwörter: DESCRIPTION logics, MULTILAYER perceptrons, MANY-valued logic, SEMANTICS (Philosophy), LOGIC programming, KNOWLEDGE base

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoren: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Quelle: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

Conflict-Driven Inductive Logic Programming.

Autoren: LAW, MARK

Quelle: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p387-414, 28p

Schlagwörter: INDUCTION (Logic), LOGIC programming

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

Autoren: QURESHI, HAYA MAJID FABER, WOLFGANG

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

Schlagwörter: DESCRIPTION logics, KNOWLEDGE base, LOGIC programming, OWLS, INFORMATION storage & retrieval systems

On Establishing Robust Consistency in Answer Set Programs.

Autoren: THEVAPALAN, ANDRE KERN-ISBERNER, GABRIELE

Quelle: Theory & Practice of Logic Programming; Sep2023, Vol. 23 Issue 5, p1094-1127, 34p

Schlagwörter: LOGIC programming, CONFLICT management

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

Autoren: Azzolini, Damiano Forti, Stefano Ielo, Antonio

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

Schlagwörter: EDGE computing, RESOURCE allocation, NETWORK performance

Answer Set Planning: A Survey.

Autoren: CAO TRAN, SON PONTELLI, ENRICO BALDUCCINI, MARCELLO et al.

Quelle: Theory & Practice of Logic Programming; Jan2023, Vol. 23 Issue 1, p226-298, 73p

Schlagwörter: KNOWLEDGE representation (Information theory), LOGIC programming

Locally Tight Programs.

Autoren: FANDINNO, JORGE LIFSCHITZ, VLADIMIR TEMPLE, NATHAN

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

Schlagwörter: CONFIRMATION (Logic), LOGIC programming, PHILOSOPHY of language, LOGIC, INTEGERS