A Java wrapper for DLV

CEUR Workshop Proceedings

Volumn 78, Issue , 2003, Pages 305-316

  Ricca, Francesco ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMONSENSE REASONING; COMPLEX PROBLEMS; DISJUNCTIVE LOGIC PROGRAMMING; DISJUNCTIVE LOGIC PROGRAMS; OBJECT ORIENTED; SOFTWARE DEVELOPMENT LANGUAGES; SOURCE CODES;

APPLICATION PROGRAMS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING;

JAVA PROGRAMMING LANGUAGE;

EID: 84887039646     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Francesco Buccafurri, Nicola Leone, and Pasquale Rullo. Enhancing Disjunctive Datalog by Constraints. IEEE Transactions on Knowledge and Data Engineering, 12(5):845-860, 2000.
2. Thomas Eiter, Georg Gottlob, and Heikki Mannila. Disjunctive Datalog. ACM Transactions on Database Systems, 22(3):364-418, September 1997.
3. Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Declarative Problem-Solving Using the DLV System. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 79-103. Kluwer Academic Publishers, 2000.
4. Wolfgang Faber and Gerald Pfeifer. DLV homepage, since 1996. http://www.dlvsystem.com/.
5. Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. Experimenting with Heuristics for Answer Set Programming. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI) 2001, pages 635-640, Seattle, WA, USA, August 2001. Morgan Kaufmann Publishers.
6. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
7. Nicola Leone, Pasquale Rullo, and Francesco Scarcello. Disjunctive stable models: Unfounded sets, fixpoint semantics and computation. Information and Computation, 135(2):69-112, June 1997.
8. Vladimir Lifschitz. Foundations of Logic Programming. In G. Brewka, editor, Principles of Knowledge Representation, pages 69-127. CSLI Publications, Stanford, 1996.
9. Jorge Lobo, Jack Minker, and Arcot Rajasekar. Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge, Massachusetts, 1992.