@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}}

{"_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/mypublications.bib"}}},"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"]}