Enhancing DLV instantiator by backjumping techniques
- 1 December 2007
- journal article
- Published by Springer Science and Business Media LLC in Annals of Mathematics and Artificial Intelligence
- Vol. 51 (2-4), 195-228
- https://doi.org/10.1007/s10472-008-9090-9
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- The DLV system for knowledge representation and reasoningACM Transactions on Computational Logic, 2006
- Unfolding partiality and disjunctions in stable model semanticsACM Transactions on Computational Logic, 2006
- On indefinite databases and the closed world assumptionPublished by Springer Science and Business Media LLC ,2005
- ASSAT: computing answer sets of a logic program by SAT solversArtificial Intelligence, 2004
- Extending and implementing the stable model semanticsArtificial Intelligence, 2002
- Default logic as a query languageIEEE Transactions on Knowledge and Data Engineering, 1997
- Overview of DASWAM: Exploitation of dependent and-parallelismThe Journal of Logic Programming, 1996
- Foundations of Constraint Satisfaction.Journal of the Operational Research Society, 1995
- HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEMComputational Intelligence, 1993
- Enhancement schemes for constraint processing: Backjumping, learning, and cutset decompositionArtificial Intelligence, 1990