A backjumping technique for disjunctive logic programming

AI Communications

Volumn 19, Issue 2, 2006, Pages 155-172

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

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Backjumping; Experiments; Logic programming; Stable models

Indexed keywords

BOOLEAN FUNCTIONS; HEURISTIC METHODS; LEARNING SYSTEMS; NUMERICAL ANALYSIS; SEMANTICS;

BACKJUMPING TECHNIQUE; CONSTRAINT SOLVING; DISJUNCTIVE LOGIC PROGRAMMING; STABLE MODEL SEMANTICS (SDLP);

LOGIC PROGRAMMING;

EID: 33744930603     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (38)

1. J. Ward and J.S. Schlipf, Answer set programming with Clause Learning, in: LPNMR-7, LNCS, 2004, pp. 302-313.
2. J. Ward, Answer set programming with Clause Learning, PhD thesis, Ohio State University, Cincinnati, OH, USA, 2004.
3. V. Lifschitz, Answer set planning, in: ICLP'99, Las Cruces, New Mexico, USA, D.D. Schreye, ed., The MIT Press, 1999, pp. 23-37.
4. T. Eiter, G. Gottlob and H. Mannila, Disjunctive Datalog, ACM TODS 22 (1997), 364-418.
5. J. Rintanen, Improvements to the evaluation of quantified Boolean formulae, in: IJCAI 1999, T. Dean, ed., Sweden, 1999, pp. 1192-1197.
6. T. Eiter and G. Gottlob, The complexity of logic-based abduction, JACM 42 (1995), 3-42.
7. C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, CUP, 2002.
8. N. Leone, R. Rosati and F. Scarcello, Enhancing answer set planning, in: IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information, 2001, pp. 33-42.
9. 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).
10. T. Janhunen, I. Niemelä, D. Seipel, P. Simons and J.H. You, Unfolding Partiality and Disjunctions in Stable Model Semantics, Tech. Report cs.AI/0303009, arXiv.org, 2003.
11. Y. Lierler, Disjunctive answer set programming via satisfiability, in: Logic Programming and Nonmonotonic Reasoning - 8th International Conference, LPNMR '05, Diamante, Italy, 2005, Proceedings, LNCS 3662.
12. C. Koch, N. Leone and G. Pfeifer, Enhancing Disjunctive Logic Programming systems by SAT checkers, Artificial Intelligence 15 (2003), 177-212.
13. P. Prosser, Hybrid algorithms for the constraint satisfaction problem, Computational Intelligence 9 (1993), 268-299.
14. R. Dechter and D. Frost, Backjump-based backtracking for constraint satisfaction problems, Artificial Intelligence 136 (2002), 147-188.
15. R. Bayardo and R. Schrag, Using CSP look-back techniques to solve real-world SAT instances, in: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-97), 1997, pp. 203-208.
16. M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang and S. Malik, Chaff: Engineering an efficient SAT solver, in: Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, ACM, 2001, pp. 530-535.
17. T. Eiter, W. Faber, N. Leone and G. Pfeifer, Declarative problem-solving using the DLV system, in: Logic-Based Artificial Intelligence, J. Minker, ed., Kluwer, 2000, pp. 79-103.
18. M. Gelfond and V. Lifschitz, Classical negation in logic programs and Disjunctive Databases, NGC 9 (1991), 365-385.
19. T.C. Przymusinski, Stable semantics for Disjunctive Programs, NGC 9 (1991), 401-424.
20. W. Marek and V. Subrahmanian, The relationship between logic program semantics and non-monotonic reasoning, in: ICLP'89, MIT Press, 1989, pp. 600-617.
21. N. Leone, P. Rullo and F. Scarcello, Disjunctive Stable Models: Unfounded sets, fixpoint semantics and computation, Information and Computation 135 (1997), 69-112.
22. C. Baral and M. Gelfond, Logic programming and knowledge representation, JLP 19/20 (1994), 73-148.
23. A. Van Gelder, K. Ross and J. Schlipf, The well-founded semantics for general logic programs, JACM 38 (1991), 620-650.
24. R. Ben-Eliyahu and R. Dechter, Propositional semantics for Disjunctive Logic Programs, AMAI 12 (1994), 53-87.
25. W. Faber, Enhancing efficiency and expressiveness in answer set programming systems, PhD thesis, TU Wien, 2002.
26. I. Niemelä and P. Simons, Efficient implementation of the well-founded and stable model semantics, in: ICLP'96, Bonn, Germany, M.J. Maher, ed., MIT Press, 1996, pp. 289-303.
27. P. Simons, Extending and implementing the stable model semantics, PhD thesis, Helsinki University of Technology, Finland, 2000.
28. W. Faber, N. Leone, C. Mateis and G. Pfeifer, Using database optimization techniques for nonmonotonic reasoning, in: DDLP '99, Prolog Association of Japan, 1999, pp. 135-139.
29. W. Faber, N. Leone and G. Pfeifer, Experimenting with heuristics for answer set programming, in: IJCAI 2001, Seattle, WA, USA, 2001, pp. 635-640.
30. W. Faber, N. Leone and G. Pfeifer, Optimizing the computation of heuristics for answer set programming systems, in: LPNMR'01, LNCS 2173.
31. W. Faber, N. Leone and G. Pfeifer, Pushing goal derivation in DLP computations, in: LPNMR'99, LNCS 1730.
32. F. Calimeri, W. Faber, N. Leone and G. Pfeifer, Pruning operators for answer set programming systems, in: NMR '2002, 2002, pp. 200-209.
33. I. Lynce and J.P.M. Silva, Building state-of-the-art sat solvers, in: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002), F. van Harmelen, ed., IOS Press, 2002, pp. 166-170.
34. M.N. Velev and R.E. Bryant, Superscalar processor verification using efficient reductions of the logic of equality with uninterpreted functions to prepositional logic, in: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, Proceedings, NY, USA, 1999, pp. 37-53.
35. C.H. Papadimitriou, Computational Complexity, Addison-Wesley, 1994.
36. T. Eiter and G. Gottlob, On the computational cost of disjunctive logic programming: Propositional case, AMAI 15 (1995), 289-323.
37. M. Cadoli, A. Giovanardi and M. Schaerf, Experimental analysis of the computational cost of evaluating quantified Boolean formulae, in: AI*IA 97, Italy, 1997, pp. 207-218.
38. I. Gent and T. Walsh, The QSAT phase transition, in: AAAI, 1999.