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. Technical Report INFSYS RR-1843-01-12, Institut für Informationssysteme, Technische Universität Wien, December, 2001. ![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 @techreport{eite-etal-2001e-TR,
Author = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres},
Institution = {Institut f{\"u}r Informationssysteme, Technische Universit{\"a}t Wien},
Month = DEC,
Number = {INFSYS RR-1843-01-12},
Project = {dlv},
Published = {eite-etal-2001e},
Title = {{A Logic Programming Approach to Knowledge-State Planning, II: the {\small DLV}$^{\cal K}$ System}},
Url = {http://www.kr.tuwien.ac.at/research/reports/rr0112.ps.gz},
Year = 2001,
Bdsk-Url-1 = {http://www.kr.tuwien.ac.at/research/reports/rr0112.ps.gz}}
Downloads: 0
{"_id":"bWqvbALCcsnEv5xsi","bibbaseid":"eiter-faber-leone-pfeifer-polleres-alogicprogrammingapproachtoknowledgestateplanningiithesmalldlvalksystem-2001","authorIDs":["FyLDFGg993nDS2Spf"],"author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"bibdata":{"bibtype":"techreport","type":"techreport","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":[]}],"institution":"Institut für Informationssysteme, Technische Universität Wien","month":"December","number":"INFSYS RR-1843-01-12","project":"dlv","published":"eite-etal-2001e","title":"A Logic Programming Approach to Knowledge-State Planning, II: the \\small DLV$^{a̧l K}$ System","url":"http://www.kr.tuwien.ac.at/research/reports/rr0112.ps.gz","year":"2001","bdsk-url-1":"http://www.kr.tuwien.ac.at/research/reports/rr0112.ps.gz","bibtex":"@techreport{eite-etal-2001e-TR,\n\tAuthor = {Thomas Eiter and Wolfgang Faber and Nicola Leone and Gerald Pfeifer and Axel Polleres},\n\tInstitution = {Institut f{\\\"u}r Informationssysteme, Technische Universit{\\\"a}t Wien},\n\tMonth = DEC,\n\tNumber = {INFSYS RR-1843-01-12},\n\tProject = {dlv},\n\tPublished = {eite-etal-2001e},\n\tTitle = {{A Logic Programming Approach to Knowledge-State Planning, II: the {\\small DLV}$^{\\cal K}$ System}},\n\tUrl = {http://www.kr.tuwien.ac.at/research/reports/rr0112.ps.gz},\n\tYear = 2001,\n\tBdsk-Url-1 = {http://www.kr.tuwien.ac.at/research/reports/rr0112.ps.gz}}\n\n","author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"key":"eite-etal-2001e-TR","id":"eite-etal-2001e-TR","bibbaseid":"eiter-faber-leone-pfeifer-polleres-alogicprogrammingapproachtoknowledgestateplanningiithesmalldlvalksystem-2001","role":"author","urls":{"Paper":"http://www.kr.tuwien.ac.at/research/reports/rr0112.ps.gz"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}}},"bibtype":"techreport","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":2001,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}