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-2702
Paper 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}}
Downloads: 0
{"_id":"4fbbmFQ548ZRXKkMu","bibbaseid":"eiter-faber-leone-pfeifer-polleres-usingthettdlvsystemforplanninganddiagnosticreasoning-2000","authorIDs":["FyLDFGg993nDS2Spf"],"author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Faber"],"suffixes":[]},{"firstnames":["Nicola"],"propositions":[],"lastnames":["Leone"],"suffixes":[]},{"firstnames":["Gerald"],"propositions":[],"lastnames":["Pfeifer"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"booktitle":"Proceedings of the 14th Workshop on Logic Programming (WLP'99)","editor":[{"firstnames":["François"],"propositions":[],"lastnames":["Bry"],"suffixes":[]},{"firstnames":["Ulrich"],"propositions":[],"lastnames":["Geske"],"suffixes":[]},{"firstnames":["Dietmar"],"propositions":[],"lastnames":["Seipel"],"suffixes":[]}],"month":"January","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","bibtex":"@inproceedings{eite-etal-00a,\n\tAuthor = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres},\n\tBooktitle = {Proceedings of the 14th Workshop on Logic Programming (WLP'99)},\n\tEditor = {Fran\\c{c}ois Bry and Ulrich Geske and Dietmar Seipel},\n\tMonth = JAN,\n\tNote = {ISSN 1435-2702},\n\tPages = {125--134},\n\tProject = {dlv},\n\tPublisher = {GMD -- Forschungszentrum Informationstechnik GmbH, Berlin},\n\tTalk = {Wolfgang Faber},\n\tTitle = {{Using the {\\tt dlv} System for Planning and Diagnostic Reasoning}},\n\tUrl = {http://www.polleres.net/publications/eite-etal-WLP99.pdf},\n\tYear = 2000,\n\tBdsk-Url-1 = {http://www.polleres.net/publications/eite-etal-WLP99.pdf}}\n\n","author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"editor_short":["Bry, F.","Geske, U.","Seipel, D."],"key":"eite-etal-00a","id":"eite-etal-00a","bibbaseid":"eiter-faber-leone-pfeifer-polleres-usingthettdlvsystemforplanninganddiagnosticreasoning-2000","role":"author","urls":{"Paper":"http://www.polleres.net/publications/eite-etal-WLP99.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net%2Fmypublications.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","creationDate":"2020-12-08T13:39:08.996Z","downloads":0,"keywords":[],"search_terms":["using","dlv","system","planning","diagnostic","reasoning","eiter","faber","leone","pfeifer","polleres"],"title":"Using the \\tt dlv System for Planning and Diagnostic Reasoning","year":2000,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}