A Logic Programming Approach to Knowledge-State Planning, II: the \small DLV$^{a̧l K}$ System. Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. Artificial Intelligence, 144(1–2):157–211, March, 2003. ![A Logic Programming Approach to Knowledge-State Planning, II: the \small DLV$^{a̧l K}$ System [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @article{eite-etal-2001e,
Author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres},
Journal = AI,
Month = MAR,
Number = {1--2},
Pages = {157--211},
Project = {dlv},
Title = {{A Logic Programming Approach to Knowledge-State Planning, II: the {\small DLV}$^{\cal K}$ System}},
Type = JOURNAL,
Url = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/dlvk.ps.gz},
Volume = 144,
Year = 2003,
Bdsk-Url-1 = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/dlvk.ps.gz}}
Downloads: 0
{"_id":"mMYmrWq5x3EksA59T","bibbaseid":"eiter-faber-leone-pfeifer-polleres-alogicprogrammingapproachtoknowledgestateplanningiithesmalldlvalksystem-2003","authorIDs":["FyLDFGg993nDS2Spf"],"author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"bibdata":{"bibtype":"article","type":"journal","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":[]}],"journal":"Artificial Intelligence","month":"March","number":"1–2","pages":"157–211","project":"dlv","title":"A Logic Programming Approach to Knowledge-State Planning, II: the \\small DLV$^{a̧l K}$ System","url":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/dlvk.ps.gz","volume":"144","year":"2003","bdsk-url-1":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/dlvk.ps.gz","bibtex":"@article{eite-etal-2001e,\n\tAuthor = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres},\n\tJournal = AI,\n\tMonth = MAR,\n\tNumber = {1--2},\n\tPages = {157--211},\n\tProject = {dlv},\n\tTitle = {{A Logic Programming Approach to Knowledge-State Planning, II: the {\\small DLV}$^{\\cal K}$ System}},\n\tType = JOURNAL,\n\tUrl = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/dlvk.ps.gz},\n\tVolume = 144,\n\tYear = 2003,\n\tBdsk-Url-1 = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/dlvk.ps.gz}}\n\n","author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"key":"eite-etal-2001e","id":"eite-etal-2001e","bibbaseid":"eiter-faber-leone-pfeifer-polleres-alogicprogrammingapproachtoknowledgestateplanningiithesmalldlvalksystem-2003","role":"author","urls":{"Paper":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/dlvk.ps.gz"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"bibtype":"article","biburl":"www.polleres.net/mypublications.bib","creationDate":"2020-12-17T16:34:23.830Z","downloads":0,"keywords":[],"search_terms":["logic","programming","approach","knowledge","state","planning","small","dlv","system","eiter","faber","leone","pfeifer","polleres"],"title":"A Logic Programming Approach to Knowledge-State Planning, II: the \\small DLV$^{a̧l K}$ System","year":2003,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}