Výsledky vyhledávání - (logic OR login) programming general terms algorithms keywords answer (set OR 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

Counting Answer Sets of Disjunctive Answer Set Programs.

Autoři: KABIR, MD MOHIMENUL CHAKRABORTY, SUPRATIK MEEL, KULDEEP S.

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

Témata: LOGIC programming, KNOWLEDGE representation (Information theory), ALGORITHMS

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

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)

Symbolic Parameter Learning in Probabilistic Answer Set Programming.

Autoři: AZZOLINI, DAMIANO GENTILI, ELISABETTA RIGUZZI, FABRIZIO

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

Témata: ARTIFICIAL intelligence, CONSTRAINED optimization, PROBABILITY theory, LOGIC, EQUATIONS

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

Autoři: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET a další

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

Témata: CONSTRAINT programming, CONSTRAINT satisfaction, LINEAR equations, BENCHMARK problems (Computer science), PROGRAMMING languages

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

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.

Autoři: BEISER, ALEXANDER WOLTRAN, STEFAN HECHER, MARKUS

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

Témata: HEURISTIC, RULE-based programming, COMPUTER performance

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

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

Autoři: LIERLER, YULIYA

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

Témata: SEMANTICS (Philosophy), KNOWLEDGE representation (Information theory), LOGIC programming, ARTIFICIAL intelligence, SEMANTICS

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

Solving Decision Theory Problems with Probabilistic Answer Set Programming.

Autoři: AZZOLINI, DAMIANO BELLODI, ELENA KIESEL, RAFAEL a další

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

Témata: STATISTICAL decision making, ARTIFICIAL intelligence, SEMANTICS, ALGORITHMS, COUNTING

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

Autoři: TAKEMURA, AKIHIRO INOUE, KATSUMI

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

Témata: DECISION trees, MACHINE learning, ALGORITHMS, EXPLANATION, CLASSIFICATION

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

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

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

Témata: NONMONOTONIC logic, KNOWLEDGE representation (Information theory), LOGIC, MOTIVATION (Psychology)

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

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

Autoři: EL-KHOLANY, MOHAMMED M. S. GEBSER, MARTIN SCHEKOTIHIN, KONSTANTIN

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

Témata: SCHEDULING, COMBINATORIAL optimization, PARALLEL algorithms, MATHEMATICAL optimization, HEURISTIC, PRODUCTION scheduling, COMPARATIVE studies

Model Explanation via Support Graphs.

Autoři: CABALAR, PEDRO MUÑIZ, BRAIS

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

Témata: ATOMIC models, EXPLANATION, ENCODING, LOGIC

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

Autoři: Cifuentes-Fontanals, Laura Tonello, Elisa Siebert, Heike

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

Témata: BOOLEAN networks, BIOLOGICAL systems, PERCOLATION theory, RULE-based programming

On the Foundations of Grounding in Answer Set Programming.

Autoři: KAMINSKI, ROLAND SCHAUB, TORSTEN

Zdroj: Theory & Practice of Logic Programming; Nov2023, Vol. 23 Issue 6, p1138-1197, 60p

Témata: ALGORITHMS, SEMANTICS