Abstract Solvers for Computing Cautious Consequences of ASP programs

DOI10.1017/S1471068419000164zbMath1434.68066arXiv1907.09402WikidataQ127226008 ScholiaQ127226008MaRDI QIDQ5108499

Giovanni Amendola, Marco Maratea, Carmine Dodaro

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.09402

zbMATH Keywords

answer set programmingcautious reasoningabstract solvers

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items

ASP and subset minimality: enumeration, cautious reasoning and MUSes

Uses Software

• WASP
• Datalog

Cites Work

• On abstract modular inference systems and solvers
• Relating constraint answer set programming languages and algorithms
• Solving satisfiability problems with preferences
• Design and results of the Fifth Answer Set Programming Competition
• On the relation among answer set solvers
• Conflict-driven answer set solving: from theory to practice
• Logic programs with stable model semantics as a constraint programming paradigm
• Evaluation of disjunctive programs in WASP
• Combining answer set programming with description logics for the semantic web
• Abstract Solvers for Dung’s Argumentation Frameworks
• Anytime Computation of Cautious Consequences in Answer Set Programming
• Abstract answer set solvers with backjumping and learning
• Transition systems for model generators—A unifying approach
• Advances in WASP
• Solving SAT and SAT Modulo Theories
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Algorithms for computing backbones of propositional formulae
• Anytime answer set optimization via unsatisfiable core shrinking
• Answer sets for consistent query answering in inconsistent databases
• The DLV system for knowledge representation and reasoning
• Consistent query answering via ASP from different perspectives: Theory and practice
• The Sixth Answer Set Programming Competition
• Logic Programming and Nonmonotonic Reasoning
• Abstract Answer Set Solvers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item