System Description: The DLV$^{a̧l K}$ Planning System. Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. In Eiter, T., Faber, W., & Truszczyński, M., editors, Logic Programming and Nonmonotonic Reasoning — 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings, of Lecture Notes in AI (LNAI), pages 413–416, September, 2001. Springer Verlag. ![System Description: The DLV$^{a̧l K}$ Planning System [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{eite-etal-2001c,
Author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres},
Booktitle = {{Logic Programming and Nonmonotonic Reasoning --- 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings}},
Day = {17--19},
Editor = {Thomas Eiter and Wolfgang Faber and Miros{\l}aw Truszczy{\'n}ski},
Month = {September},
Number = {2173},
Pages = {413--416},
Project = {dlv},
Publisher = {Springer Verlag},
Series = LNAI,
Talk = {Gerald Pfeifer},
Title = {{System Description: The DLV$^{\cal K}$ Planning System}},
Url = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz},
Year = 2001,
Bdsk-Url-1 = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz}}
Downloads: 0
{"_id":"Ps4r6M8uFwTuYCw2N","bibbaseid":"eiter-faber-leone-pfeifer-polleres-systemdescriptionthedlvalkplanningsystem-2001","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":"Logic Programming and Nonmonotonic Reasoning — 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings","day":"17–19","editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Faber"],"suffixes":[]},{"firstnames":["Mirosław"],"propositions":[],"lastnames":["Truszczyński"],"suffixes":[]}],"month":"September","number":"2173","pages":"413–416","project":"dlv","publisher":"Springer Verlag","series":"Lecture Notes in AI (LNAI)","talk":"Gerald Pfeifer","title":"System Description: The DLV$^{a̧l K}$ Planning System","url":"http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz","year":"2001","bdsk-url-1":"http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz","bibtex":"@inproceedings{eite-etal-2001c,\n\tAuthor = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres},\n\tBooktitle = {{Logic Programming and Nonmonotonic Reasoning --- 6th International Conference, LPNMR'01, Vienna, Austria, September 2001, Proceedings}},\n\tDay = {17--19},\n\tEditor = {Thomas Eiter and Wolfgang Faber and Miros{\\l}aw Truszczy{\\'n}ski},\n\tMonth = {September},\n\tNumber = {2173},\n\tPages = {413--416},\n\tProject = {dlv},\n\tPublisher = {Springer Verlag},\n\tSeries = LNAI,\n\tTalk = {Gerald Pfeifer},\n\tTitle = {{System Description: The DLV$^{\\cal K}$ Planning System}},\n\tUrl = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz},\n\tYear = 2001,\n\tBdsk-Url-1 = {http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz}}\n\n","author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"editor_short":["Eiter, T.","Faber, W.","Truszczyński, M."],"key":"eite-etal-2001c","id":"eite-etal-2001c","bibbaseid":"eiter-faber-leone-pfeifer-polleres-systemdescriptionthedlvalkplanningsystem-2001","role":"author","urls":{"Paper":"http://www.dbai.tuwien.ac.at/proj/dlv/papers/fabe-etal-2001c.ps.gz"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","creationDate":"2020-12-17T16:34:23.812Z","downloads":0,"keywords":[],"search_terms":["system","description","dlv","planning","system","eiter","faber","leone","pfeifer","polleres"],"title":"System Description: The DLV$^{a̧l K}$ Planning System","year":2001,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}