Search Results - (logic OR login) programming general terms algorithms keywords answer (set OR sept) programming*

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

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

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)

Symbolic Parameter Learning in Probabilistic Answer Set Programming.

Authors: AZZOLINI, DAMIANO GENTILI, ELISABETTA RIGUZZI, FABRIZIO

Source: Theory & Practice of Logic Programming; Jul2024, Vol. 24 Issue 4, p698-715, 18p

Subject Terms: ARTIFICIAL intelligence, CONSTRAINED optimization, PROBABILITY theory, LOGIC, EQUATIONS

ASP-FZN: A Translation-Based Constraint Answer Set Solver.

Authors: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET et al.

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

Subject Terms: CONSTRAINT programming, CONSTRAINT satisfaction, LINEAR equations, BENCHMARK problems (Computer science), PROGRAMMING languages

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

Authors: AZZOLINI, DAMIANO RIGUZZI, FABRIZIO

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

Subject Terms: ARTIFICIAL intelligence, LOGIC programming, THEORY-practice relationship, PROBABILITY theory, POSSIBILITY

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.

Authors: BEISER, ALEXANDER WOLTRAN, STEFAN HECHER, MARKUS

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

Subject Terms: HEURISTIC, RULE-based programming, COMPUTER performance

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

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

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

Solving Decision Theory Problems with Probabilistic Answer Set Programming.

Authors: AZZOLINI, DAMIANO BELLODI, ELENA KIESEL, RAFAEL et al.

Source: Theory & Practice of Logic Programming; Jan2025, Vol. 25 Issue 1, p33-63, 31p

Subject Terms: STATISTICAL decision making, ARTIFICIAL intelligence, SEMANTICS, ALGORITHMS, COUNTING

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

Authors: Bertagnon, Alessandro Gavanelli, Marco

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

Subject Terms: COST functions, CONSTRAINT programming, LOGIC programming, EUCLIDEAN distance, COMPUTER science

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming.

Authors: TAKEMURA, AKIHIRO INOUE, KATSUMI

Source: Theory & Practice of Logic Programming; Sep2024, Vol. 24 Issue 5, p973-1010, 38p

Subject Terms: DECISION trees, MACHINE learning, ALGORITHMS, EXPLANATION, CLASSIFICATION

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

Plingo: A System for Probabilistic Reasoning in Answer Set Programming.

Source: Theory & Practice of Logic Programming; Mar2025, Vol. 25 Issue 2, p1-34, 34p

Subject Terms: NONMONOTONIC logic, KNOWLEDGE representation (Information theory), LOGIC, MOTIVATION (Psychology)

DECOMPOSITION STRATEGIES AND MULTI-SHOT ASP SOLVING FOR JOB-SHOP SCHEDULING.

Authors: EL-KHOLANY, MOHAMMED M. S. GEBSER, MARTIN SCHEKOTIHIN, KONSTANTIN

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-30, 30p

Subject Terms: SCHEDULING, COMBINATORIAL optimization, PARALLEL algorithms, MATHEMATICAL optimization, HEURISTIC, PRODUCTION scheduling, COMPARATIVE studies

Model Explanation via Support Graphs.

Authors: CABALAR, PEDRO MUÑIZ, BRAIS

Source: Theory & Practice of Logic Programming; Nov2024, Vol. 24 Issue 6, p1109-1122, 14p

Subject Terms: ATOMIC models, EXPLANATION, ENCODING, LOGIC

Node and edge control strategy identification via trap spaces in Boolean networks.

Authors: Cifuentes-Fontanals, Laura Tonello, Elisa Siebert, Heike

Source: BMC Bioinformatics; 10/7/2025, Vol. 24 Issue 1, p1-29, 29p

Subject Terms: BOOLEAN networks, BIOLOGICAL systems, PERCOLATION theory, RULE-based programming

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