DLVDB: Bridging the gap between ASP systems and DBMSs

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

Volumn 2923, Issue , 2004, Pages 341-345

  Leone, Nicola ^a   Lio, Vincenzino ^a   Terracina, Giorgio ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; DISTRIBUTED DATABASE SYSTEMS; INPUT OUTPUT PROGRAMS; LOGIC PROGRAMMING; DATA STORAGE EQUIPMENT; DATA STRUCTURES; DATABASE SYSTEMS; OPTIMIZATION; TRANSLATION (LANGUAGES);

EXPRESSIVE POWER; INPUT AND OUTPUTS; LOGIC PROGRAMS; REAL APPLICATIONS;

INFORMATION MANAGEMENT; COMPUTER SYSTEMS PROGRAMMING;

ANSWER SYSTEM PROGRAMMING (ASP); EXTENSIONAL DATABASE (EDB); NON-MONOTONIC REASONING; REAL WORLD PROBLEMS;

EID: 9444255772     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. C. Cumbo, W. Faber, G. Greco, and N. Leone. Enhancing the Magic-Set Method for Disjunctive Datalog Programs. Technical report.
2. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, and Gerald Pfeifer. System Description: DLV. In Thomas Eiter, Wolfgang Faber, and Miroslaw Truszczynski, editors, Logic Programming and Non-monotonic Reasoning - 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings, number 2173 in Lecture Notes in AI (LNAI), pages 409-412. Springer Verlag, September 2001.
3. Wolfgang Faber, Nicola Leone, Cristinel Mateis, and Gerald Pfeifer. Using Database Optimization Techniques for Nonmonotonic Reasoning. In INAP Organizing Committee, editor, Proceedings of the 7th International Workshop on Deductive Databases and Logic Programming (DDLP'99), pages 135-139. Prolog Association of Japan, September 1999.
4. E. Franconi, A. Laureti Palma, N. Leone, S. Perri, and F. Scarcello. Census Data Repair: a Challenging Application of Disjunctive Logic Programming. In In Proc. of LPAR 2001, pages 561-578, 2001.
5. Ilkka Niemelä, Patrik Simons, and Tommi Syrjänen. Smodels: A System for Answer Set Programming. In Chitta Baral and Miroslaw Truszczynski, editors, Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'2000), Breckenridge, Colorado, USA, April 2000.
6. J. D. Ullman. Principles of Database and Knowledge Base Systems. Computer Science Press, 1989.