Better Paracoherent Answer Sets with Less Resources

DOI10.1017/S1471068419000176zbMath1434.68067arXiv1907.09560OpenAlexW3101690952WikidataQ127225646 ScholiaQ127225646MaRDI QIDQ5108500

Francesco Ricca, Carmine Dodaro, Giovanni Amendola

Publication date: 4 May 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.09560

zbMATH Keywords

answer set programmingparacoherent reasoningsemi-equilibrium models

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• clasp
• WASP
• Clingo
• DLV2

Cites Work

• Semi-equilibrium models for paracoherent answer set programs
• On the query complexity of selecting minimal sets for monotone predicates
• On the tractability of minimal model computation for some CNF theories
• Equilibrium logic
• Design and results of the Fifth Answer Set Programming Competition
• A three-valued semantics for deductive databases and logic programs
• On the partial semantics for disjunctive deductive databases
• Positive unit hyperresolution tableaux and their application to minimal model generation
• Conflict-driven answer set solving: from theory to practice
• An encompassing framework for paraconsistent logic programs
• Evaluation of disjunctive programs in WASP
• The ASP system DLV2
• Advances in WASP
• Progress in clasp Series 3
• Approved Models for Normal Logic Programs
• Logical Weak Completions of Paraconsistent Logics
• Answer Set Programming: A Primer
• The well-founded semantics for general logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Improved answer-set programming encodings for abstract argumentation
• Anytime answer set optimization via unsatisfiable core shrinking
• Query answering in resource-based answer set semantics
• Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
• A tableau calculus for minimal model reasoning
• Answer sets for consistent query answering in inconsistent databases
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Multi-shot ASP solving with clingo
• The DLV system for knowledge representation and reasoning
• The Sixth Answer Set Programming Competition
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item