Výsledky vyhľadávania - (logic OR login) programming general terms algorithms keywords answer (set OR site) programming

Counting Answer Sets of Disjunctive Answer Set Programs.

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

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

Predmety: LOGIC programming, KNOWLEDGE representation (Information theory), ALGORITHMS

Splitting a Disjunctive Logic Program.

Autori: BEN-ELIYAHU-ZOHARY, RACHEL

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

Predmety: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science

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

Autori: BOGATARKAN, AYSU ERDEM, ESRA

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

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

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

Autori: CALIMERI, FRANCESCO IANNI, GIOVAMBATTISTA PACENZA, FRANCESCO a ďalší

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

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

Symbolic Parameter Learning in Probabilistic Answer Set Programming.

Autori: AZZOLINI, DAMIANO GENTILI, ELISABETTA RIGUZZI, FABRIZIO

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

Predmety: ARTIFICIAL intelligence, CONSTRAINED optimization, PROBABILITY theory, LOGIC, EQUATIONS

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

Autori: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET a ďalší

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

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

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

Autori: LIERLER, YULIYA

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

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

Solving Decision Theory Problems with Probabilistic Answer Set Programming.

Autori: AZZOLINI, DAMIANO BELLODI, ELENA KIESEL, RAFAEL a ďalší

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

Predmety: STATISTICAL decision making, ARTIFICIAL intelligence, SEMANTICS, ALGORITHMS, COUNTING

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

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

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

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

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

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

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

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.

Autori: EITER, THOMAS GEIBINGER, TOBIAS MUSLIU, NYSRET a ďalší

Zdroj: Theory & Practice of Logic Programming; Nov2023, Vol. 23 Issue 6, p1281-1306, 26p

Predmety: PRODUCTION scheduling, SETUP time, KNOWLEDGE representation (Information theory), CONSTRAINT programming, DIFFERENCE (Philosophy), SCHEDULING

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

Autori: AZZOLINI, DAMIANO RIGUZZI, FABRIZIO

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

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

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

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

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

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

IASCAR: Incremental Answer Set Counting by Anytime Refinement.

Autori: FICHTE, JOHANNES K. GAGGL, SARAH ALICE HECHER, MARKUS a ďalší

Zdroj: Theory & Practice of Logic Programming; May2024, Vol. 24 Issue 3, p505-532, 28p

Predmety: POLYNOMIAL time algorithms, COUNTING, NAVIGATION

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.

Autori: BEISER, ALEXANDER WOLTRAN, STEFAN HECHER, MARKUS

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

Predmety: HEURISTIC, RULE-based programming, COMPUTER performance

Quantifying over Optimum Answer Sets.

Autori: MAZZOTTA, GIUSEPPE RICCA, FRANCESCO TRUSZCZYNSKI, MIREK

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

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

On the Foundations of Grounding in Answer Set Programming.

Autori: KAMINSKI, ROLAND SCHAUB, TORSTEN

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

Predmety: ALGORITHMS, SEMANTICS

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming.

Autori: KATZOURIS, NIKOS PALIOURAS, GEORGIOS ARTIKIS, ALEXANDER

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

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

Improving ASP-Based ORS Schedules through Machine Learning Predictions.

Autori: BRUNO, PIERANGELA DODARO, CARMINE GALATÀ, GIUSEPPE a ďalší

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p558-578, 21p

Predmety: MACHINE learning, SCHEDULING, CONSTRAINT programming, RESOURCE allocation, OPERATING rooms, METADATA

Witnesses for Answer Sets of Logic Programs.

Autori: YISONG WANG EITER, THOMAS YUANLIN ZHANG a ďalší

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

Predmety: DEBUGGING, LOGIC, WITNESSES, PROBLEM solving, LOGIC programming