A system with template answer set programs

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 693-697

  Calimeri, Francesco ^a   Ianni, Giovambattista ^a   Ielpa, Giuseppe ^a   Pietramala, Adriana ^a   Santoro, Maria Carmela ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

REUSABILITY; STRUCTURE (COMPOSITION); COMPUTATIONAL METHODS; DATA STRUCTURES; INFORMATION ANALYSIS; MATHEMATICAL MODELS; SEMANTICS; SET THEORY; SYSTEMS ANALYSIS;

ANSWER SET; CODE READABILITY; COMPOUND DATA STRUCTURE;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING (ASP); CODE READABILITY; COMPOUND DATA STRUCTURE; INFORMATION INTEGRATION;

EID: 22944472413     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_59     Document Type: Conference Paper

References (16)

1. M. Cadoli, G. Ianni, L. Palopoli, A. Schaerf, and D. Vasile. NP-SPEC: An executable specification language for solving all the problems in NP. Computer Languages, Elsevier Science, Amsterdam (Netherlands), 26(2-4):165-195, 2000.
2. W. Chen, M. Kifer, and D. S. Warren. Hilog: A foundation for higher-order logic programming. Journal of Logic Programming, 15:187-230, 1993.
3. T. Dell'Armi, W. Faber, G. Ielpa, N. Leone, and G. Pfeifer. Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In Proceedings IJCAI-2003, Acapulco, Mexico, Aug. 2003.
4. T web site. http://dlpt.gibbi.com.
5. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. Declarative Problem-Solving Using the DLV System. In Logic-Based Artificial Intelligence, pages 79-103. Kluwer Academic Publishers, 2000.
6. T. Eiter, G. Gottlob, and N. Leone. Abduction from Logic Programs: Semantics and Complexity. Theoretical Computer Science, 189(1-2):129-177, December 1997.
7. T. Eiter, G. Gottlob, and H. Veith. Modular Logic Programming and Generalized Quantifiers. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of LPNMR-97, number 1265 in LNCS, pages 290-309. Springer, 1997.
8. W. Faber, N. Leone, C. Mateis, and G. Pfeifer. Using Database Optimization Techniques for Nonmonotonic Reasoning. In Proceedings of DDLP'99.
9. W. Faber, N. Leone, and G. Pfeifer. Experimenting with Heuristics for Answer Set Programming. In Proceedings of IJCAI 2001, pages 635-640, Seattle, WA, USA.
10. W. Faber and G. Pfeifer. DLV homepage, since 1996. http://www.dlvsystem.com/.
11. S. Greco and D. Saccà. NP optimization problems in datalog. International Symposium on Logic Programming. Port Jefferson, NY, USA, pages 181-195, 1997.
12. G. Ianni, F. Calimeri, G. Ielpa, A. Pietramala, and M. C. Santoro. Enhancing answer set programming with templates. In Proceedings of NMR 2004.
13. The ICONS web site. http://www.icons.rodan. pl/.
14. The Infomix web site. http://www.mat.unical.it/infomix.
15. G. M. Kuper. Logic programming with sets. Journal of Computer and System Sciences, 41(1):44-64, 1990.
16. K. A. Ross and Y. Sagiv. Monotonic aggregation in deductive databases. Journal of Computer and System Sciences, 54(1):79-97, 1997.