A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. Technical Report INFSYS RR-1843-01-11, Institut für Informationssysteme, Technische Universität Wien, December, 2001. Paper bibtex @techreport{eite-etal-2001d-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-11},
Project = {dlv},
Published = {eite-etal-2001d},
Title = {{A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity}},
Url = {http://www.kr.tuwien.ac.at/research/reports/rr0111.ps.gz},
Year = 2001,
Bdsk-Url-1 = {http://www.kr.tuwien.ac.at/research/reports/rr0111.ps.gz}}
Downloads: 0
{"_id":{"_str":"5342c2f10e946d920a00369a"},"__v":43,"authorIDs":["545720922abc8e9f370000ae","5457257c2abc8e9f370000e3","545725f62abc8e9f370000ed","548a76d12e5d16b0750003dc","5PFMiHGwfvbGBZwWF","5de7280d97054edf010000c3","5e02b1a419da8edf01000028","5e048450db7916df010000b1","5e06d565a0810cde0100009b","5e10e27445c12cde01000062","5e123345c196d3de01000074","5e14ba61e55ed8de01000072","5e189b4e779abfdf0100013f","5e216f7e5a651cdf010000eb","5e25b9fdf299d4de01000001","5e2d64605e7586df01000083","5e36e5e9b26a0fde0100005e","5e37d23b56571fde010000de","5e4ded1052c311f20100018e","5e51a3102793ecde010000e0","5e59a6b5ad6c7fde01000114","5e5d588ead47bcde01000072","5e60e857839e59df010000f1","A5AFuDAiNR4HEYiFD","BtzwZ6TFPsASbdqvo","DLdeXAmrbA4niYQzH","FyLDFGg993nDS2Spf","NCjPvWahWRjdP3ghB","XcyP3jptz7zE4ZLws","aiXjXMLP63k5WCt84","fTDcT5K3oSTcdxSBj","fbKNfWffDzdzubrER","haaAs2rQaQA7EaZva","nQX2P8WzFeKwcpLqd","nuWuyLnGu7YzMrn4d","pfENTBFWo85mRy3ik","rX6EShFR2rMFmQL2C","w6wHZukTjqqera7BR","woa42kCD35yCmdQTj","yPgvarsL7KAT9yfZd","yzkCNJMYNL8B3bni2","zDG3tj87ZfYXo7u9c"],"author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"bibbaseid":"eiter-faber-leone-pfeifer-polleres-alogicprogrammingapproachtoknowledgestateplanningsemanticsandcomplexity-2001","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-11","project":"dlv","published":"eite-etal-2001d","title":"A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity","url":"http://www.kr.tuwien.ac.at/research/reports/rr0111.ps.gz","year":"2001","bdsk-url-1":"http://www.kr.tuwien.ac.at/research/reports/rr0111.ps.gz","bibtex":"@techreport{eite-etal-2001d-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-11},\n\tProject = {dlv},\n\tPublished = {eite-etal-2001d},\n\tTitle = {{A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity}},\n\tUrl = {http://www.kr.tuwien.ac.at/research/reports/rr0111.ps.gz},\n\tYear = 2001,\n\tBdsk-Url-1 = {http://www.kr.tuwien.ac.at/research/reports/rr0111.ps.gz}}\n\n","author_short":["Eiter, T.","Faber, W.","Leone, N.","Pfeifer, G.","Polleres, A."],"key":"eite-etal-2001d-TR","id":"eite-etal-2001d-TR","bibbaseid":"eiter-faber-leone-pfeifer-polleres-alogicprogrammingapproachtoknowledgestateplanningsemanticsandcomplexity-2001","role":"author","urls":{"Paper":"http://www.kr.tuwien.ac.at/research/reports/rr0111.ps.gz"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"bibtype":"techreport","biburl":"www.polleres.net/mypublications.bib","downloads":0,"keywords":[],"search_terms":["logic","programming","approach","knowledge","state","planning","semantics","complexity","eiter","faber","leone","pfeifer","polleres"],"title":"A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity","year":2001,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}