External sources of computation for answer set solvers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3662 LNAI, Issue , 2005, Pages 105-118

  Calimeri, Francesco ^a   Ianni, Giovambattista ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LANGUAGES; FORMAL LOGIC; FUNCTIONS; INFORMATION ANALYSIS;

ANSWER SET PROGRAMMING WITH EXTERNAL PREDICATES (ASP-EX); EXTERNAL CODE; PATTERN MANIPULATION APPLICATIONS;

COMPUTER PROGRAMMING;

EID: 33646062882     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546207_9     Document Type: Conference Paper

References (23)

1. [Babovich and Maratea] Y. Babovich and M. Maratea. Cmodels-2: Sat-based answer sets solver enhanced to non-tight programs, http://www.cs.utexas.edu/users/ tag/cmodels.html, 2003.
2. [Bonatti] P. A. Bonatti. Reasoning with infinite stable models. ,AI,156(l):75-111,2004.
3. [Cabibbo] L. Cabibbo. The Expressive Power of Stratified Logic Programs with Value Invention. Inf. Comput., 147(1):22-56, 1998.
4. [Gumbo et al.] C. Cumbo, S. Iiritano, and P. Rullo. Reasoning-based knowledge extraction for text classification. In Discovery Science, pp. 380-387, 2004.
5. [Dantsin et al.] E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and Expressive Power of Logic Programming. ACM CS, 33(3):374-425, 2001.
6. [Eiter et al.] T. Eiter, G. Gottlob, and H. Veith. Modular Logic Programming and Generalized Quantifiers. In LPNMR-97, LNCS 1265.
7. ΚSystem. Artif. Intell, 144(1-2):157-211, 2003.
8. [Eiter et al.] T. Eiter, G. lanni, R. Schindlauer, and H. Tompits. Nonmonotonic description logic programs: Implementation and experiments. In LPAR 2004, PP- 511527, 2004.
9. [Eiter et al.] T. Eiter, G. lanni, R. Schindlauer, and H. Tompits. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In IJCAI 2005, to appear, Edinburgh, UK, 2005.
10. [Gelfond and Lifschitz] M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In ICLP 1988, pp. 1070-1080, MIT Press.
11. [Gelfond and Lifschitz] M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. NGC, 9:365-385, 1991.
12. [Heymans et al.] S. Heymans, D. Van Nieuwenborgh, and D. Vermeir. Semantic web reasoning with conceptual logic programs. In RuleML 2004, PP- 113-127, 2004.
13. [Hull and Yoshikawa] R. Hull and M. Yoshikawa. On the equivalence of database restructurings involving object identifiers. In PODS 1991, pp. 328-340. ACM Press.
14. [Leone et al.] N. Leone, S. Perri, and F. Scarcello. Improving ASP Instantiators by Join-Ordering Methods. LPNMR'01, Vienna, Austria, 2001, LNCS 2173.
15. [Leone et al.] N. Leone, G. Gottlob, R. Rosati, T. Eiter et al. The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. In SIGMOD 2005, ACM, to appear.
16. [Leone et al.] 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.
17. [Lifschitz and Turner] V. Lifschitz and H. Turner. Splitting a Logic Program. In ICLP'94, pp. 23-37, MIT Press.
18. [Lin and Zhao] F. Lin and Y. Zhao. ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. In AAAI-2002, AAAI Press / MIT Press.
19. [Osorio and Corona] M. Osorio and Enrique Corona. The A-Pol system. In ASP,2003.
20. [Palopoli et al.] L. Palopoli, S. Rombo, and G. Terracina. Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming. In International Symposium on Methodologies for Intelligent Systems (ISMIS 2005), pp. 504-513, Verlag.
21. [Simons et al.] P. Simons, I. Niemelä, and T. Soininen. Extending and Implementing the Stable Model Semantics. Artif. Intell., 138:181-234, 2002.
22. [Syrjänen] T. Syrjänen. Omega-restricted logic programs. In LPNMR-6, Vienna, Austria, 2001. Verlag.
23. [Syrjänen] T. Syrjänen. Lparse 1.0 User's Manual, 2002.