The DLV system

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

Volumn 2424, Issue , 2002, Pages 537-540

  Leone, Nicola ^a   Pfeifer, Gerald ^b   Faber, Wolfgang ^b   Calimeri, Francesco ^a   Dell’Armi, Tina ^a   Eiter, Thomas ^b   Gottlob, Georg ^b   Ianni, Giovambattista ^a   Ielpa, Giuseppe ^a   Koch, Christoph ^b   Perri, Simona ^a   Polleres, Axel ^b  

^a UNIVERSITY OF CALABRIA   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22944463475     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (5)

1. F. Buccafurri, N. Leone, and P. Rullo. Enhancing disjunctive datalog by constraints. IEEE TKDE, 12(5), September/October 2000.
2. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. The Diagnosis Frontend of the dlv System. AI Communications, 12(1-2):99-111, 1999.
3. W. Faber, N. Leone, and G. Pfeifer. Pushing Goal Derivation in DLP Computations. LPNMR'99, pp. 177-191.
4. W. Faber, N. Leone, and G. Pfeifer. Experimenting with Heuristics for Answer Set Programming. In IJGAI 2001, pp. 635-640, Seattle, WA, USA, August 2001. Morgan Kaufmann Publishers.
5. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.