Using the \tt dlv System for Planning and Diagnostic Reasoning. Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. In Bry, F., Geske, U., & Seipel, D., editors, Proceedings of the 14th Workshop on Logic Programming (WLP'99), pages 125–134, January, 2000. GMD – Forschungszentrum Informationstechnik GmbH, Berlin. ISSN 1435-2702Paper bibtex @inproceedings{eite-etal-00a,
Author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres},
Booktitle = {Proceedings of the 14th Workshop on Logic Programming (WLP'99)},
Editor = {Fran\c{c}ois Bry and Ulrich Geske and Dietmar Seipel},
Month = JAN,
Note = {ISSN 1435-2702},
Pages = {125--134},
Project = {dlv},
Publisher = {GMD -- Forschungszentrum Informationstechnik GmbH, Berlin},
Talk = {Wolfgang Faber},
Title = {{Using the {\tt dlv} System for Planning and Diagnostic Reasoning}},
Url = {http://www.polleres.net/publications/eite-etal-WLP99.pdf},
Year = 2000,
Bdsk-Url-1 = {http://www.polleres.net/publications/eite-etal-WLP99.pdf}}