The DLVK planning system: Progress report

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

Volumn 2424, Issue , 2002, Pages 541-544

  Eiter, Thomas ^a   Faber, Wolfgang ^a   Leone, Nicola ^b   Pfeifer, Gerald ^a   Polleres, Axel ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (7)

1. T. Eiter, W. Faber, N. Leone, and G. Pfeifer. Declarative Problem-Solving Using the DLV System. In: Logic-Based Artificial Intelligence, pp. 79-103. Kluwer, 2000.
2. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. Planning under incomplete knowledge. CL2000, pp. 807-821, London, UK, July 2000. Springer Verlag.
3. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. Technical Report INFSYS RR-1843-01-11, TU Wien, December 2001.
4. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System. Technical Report INFSYS RR-1843-01-12, TU Wien, December 2001.
5. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. Answer set planning under action costs. Unpublished manuscript, available from the authors.
6. M. Gelfond and V. Lifschitz. Action languages. Electronic Transactions on Artificial Intelligence, 2(3-4):193-210, 1998.
7. E. Giunchiglia and V. Lifschitz. An Action Language Based on Causal Explanation: Preliminary Report. In AAAI '98, pp. 623-630, 1998.