On the relation among answer set solvers
DOI10.1007/S10472-009-9113-1zbMATH Open1165.68333OpenAlexW2018172994MaRDI QIDQ1028643FDOQ1028643
Enrico Giunchiglia, Marco Maratea, N. Leone
Publication date: 6 July 2009
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-009-9113-1
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Logic in artificial intelligence (68T27)
Cites Work
- ASSAT: computing answer sets of a logic program by SAT solvers
- The nomore + + Approach to Answer Set Solving
- Introduction to algorithms
- Extending and implementing the stable model semantics
- Title not available (Why is that?)
- Logic programs with stable model semantics as a constraint programming paradigm
- Title not available (Why is that?)
- Tableau Calculi for Answer Set Programming
- Title not available (Why is that?)
- Answer set programming based on propositional satisfiability
- Many hard examples for resolution
- The intractability of resolution
- Conflict-Driven Answer Set Enumeration
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Logics in Artificial Intelligence
- Title not available (Why is that?)
- Title not available (Why is that?)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Abstract Answer Set Solvers
- Title not available (Why is that?)
- Tight logic programs
- A sharp threshold in proof complexity
- Principles and Practice of Constraint Programming – CP 2003
- A backjumping technique for disjunctive logic programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming
- Some (in)translatability results for normal logic programs and propositional theories
- On the complexity of choosing the branching literal in DPLL
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
- Generic Tableaux for Answer Set Programming
- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
- Title not available (Why is that?)
- Logic Programming and Nonmonotonic Reasoning
- AI*IA 2005: Advances in Artificial Intelligence
- Title not available (Why is that?)
Cited In (16)
- Disjunctive answer set solvers via templates
- Towards a Type Discipline for Answer Set Programming
- On abstract modular inference systems and solvers
- Tableau Calculi for Answer Set Programming
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
- Transition systems for model generators—A unifying approach
- Abstract Solvers for Computing Cautious Consequences of ASP programs
- AI*IA 2005: Advances in Artificial Intelligence
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Constraint answer set solver EZCSP and why integration schemas matter
- Conflict-driven answer set solving: from theory to practice
- Logic Programming and Nonmonotonic Reasoning
- ASSAT: computing answer sets of a logic program by SAT solvers
- Logic Programming
- Shared aggregate sets in answer set programming
- Query answering in resource-based answer set semantics
Uses Software
This page was built for publication: On the relation among answer set solvers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1028643)
