Disjunctive answer set solvers via templates
From MaRDI portal
Publication:4593037
DOI10.1017/S1471068415000411zbMath1379.68046arXiv1510.01599OpenAlexW2265416015MaRDI QIDQ4593037
Yuliya Lierler, Marco Maratea, Rémi Brochenin
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.01599
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
- Enhancing disjunctive logic programming systems by SAT checkers
- On the relation among answer set solvers
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Extending and implementing the stable model semantics
- Logic programs with stable model semantics as a constraint programming paradigm
- Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5--8, 2005. Proceedings.
- Enhancing DLV instantiator by backjumping techniques
- Inferring phylogenetic trees using answer set programming
- Team-building with answer set programming in the Gioia-Tauro seaport
- Tableau Calculi for Logic Programs under Answer Set Semantics
- Abstract answer set solvers with backjumping and learning
- Transition systems for model generators—A unifying approach
- Solving SAT and SAT Modulo Theories
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Unfolding partiality and disjunctions in stable model semantics
- The DLV system for knowledge representation and reasoning
- Tableau Calculi for Answer Set Programming
- Logic Programming
- Abstract Answer Set Solvers
- A machine program for theorem-proving
