Heuristics for hard ASP programs

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 1562-1563

  Faber, Wolfgang ^a   Leone, Nicola ^a   Ricca, Francesco ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

HARD PROBLEMS; NP PROBLEMS; QBF SOLVERS;

ARTIFICIAL INTELLIGENCE; BOOLEAN FUNCTIONS;

HEURISTIC PROGRAMMING;

EID: 58549098130     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. CUP, 2002.
2. R. Ben-Eliyahu and R. Dechter. Propositional Semantics for Disjunctive Logic Programs. AMAI, 12:53-87, 1994.
3. A. Biere. Resolve and Expand. 2004. SAT'04.
4. T. Eiter, G. Gottlob, and H.Mannila. Disjunctive Datalog. ACM TODS, 22(3):364-418, 1997. (Pubitemid 127483103)
5. W. Faber, N. Leone, and G. Pfeifer. Experimenting with Heuristics for Answer Set Programming. In IJCAI 2001, pp. 635-640.
6. I. Gent and T. Walsh. The QSAT Phase Transition. In AAAI, 1999.
7. T. Janhunen, I. Niemelä, P. Simons, and J.-H. You. Partiality and Disjunctions in Stable Model Semantics. In KR 2000, 12-15, pp. 411-419.
8. C. Koch, N. Leone, and G. Pfeifer. Enhancing Disjunctive Logic Programming Systems by SAT Checkers. Artificial Intelligence, 15(1-2):177-212, 2003.
9. N. Leone, R. Rosati, and F. Scarcello. Enhancing Answer Set Planning. In IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information, pp. 33-42, 2001.
10. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV System for Knowledge Representation and Reasoning. ACM TOCL, 2005. To appear.
11. R. Letz. Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. In TABLEAUX 2002, pp. 160-175, Denmark, 2002.
12. V. Lifschitz. Answer Set Planning. In ICLP'99, pp. 23-37.
13. L. Zhang and S. Malik. Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. In CP 2002, pp. 200-215, NY, USA, 2002.