Learning domain-specific heuristics for answer set solvers

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 7, Issue , 2010, Pages 14-23

  Balduccini, Marcello ^a  

^a EASTMAN KODAK COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; CONSISTENT PERFORMANCE; DOMAIN SPECIFIC; HARD INSTANCES; INDUSTRIAL SETTINGS; ORDERS OF MAGNITUDE; SEARCH ALGORITHMS; TARGET DOMAIN;

LOGIC PROGRAMMING;

EID: 79955765674     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ICLP.2010.14     Document Type: Conference Paper

References (12)

1. [Bal06] Marcello Balduccini, Michael Gelfond, and Monica Nogueira. Answer Set Based Design of Knowledge Systems. Annals of Mathematics and Artificial Intelligence, 2006.
2. [Cal02] Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Giovanbattista Ianni, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerard Pfeifer, and Axel Polleres. The DLV System. In Sergio Flesca and Giovanbattista Ianni (eds.), Proceedings of the 8th European Conference on Artificial Intelligence (JELIA 2002). 2002.
3. [Dav60] Martin Davis and Hillary Putnam. A Computing Procedure for Quantification Theory. Communications of the ACM, 7:201-215, 1960.
4. [Dav62] Martin Davis, Geroge Logemann, and Donald Loveland. A Machine program for theorem proving. Communications of the ACM, 5(7):394-397, 1962.
5. [Den09] Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, and Miroslaw Truszczynski. The Second Answer Set Programming Competition. In 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09), pp. 637-654. 2009.
6. [Geb07] Martin Gebser, B. Kaufmann, A. Neumann, and Torsten Schaub. Conflict-driven answer set solving. In Manuela M. Veloso (ed.), Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 386-392. MIT Press, 2007.
7. [Gel91] Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
8. [Mar99] VictorW. Marek and Miroslaw Truszczynski. The Logic Programming Paradigm: a 25-Year Perspective, chap. Stable models and an alternative logic programming paradigm, pp. 375-398. Springer Verlag, Berlin, 1999.
9. [Nie00] Ilkka Niemela and Patrik Simons. Logic-Based Artificial Intelligence, chap. Extending the Smodels System with Cardinality and Weight Constraints, pp. 491-521. Kluwer Academic Publishers, 2000.
10. [Nie02] Ilkka Niemela, Patrik Simons, and Timo Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2):181-234, 2002.
11. [Nog03] Monica Nogueira. Building Knowledge Systems in A-Prolog. Ph.D. thesis, University of Texas at El Paso, 2003.
12. [Syr98] Tommi Syrjanen. Implementation of logical grounding for logic programs with stable model semantics. Tech. Rep. 18, Digital Systems Laboratory, Helsinki University of Technology, 1998.