Monitoring Agents using Declarative Planning. Dix, J., Eiter, T., Fink, M., Polleres, A., & Zhang, Y. Fundamenta Informaticae, 57(2):345–370, November, 2003.
![Monitoring Agents using Declarative Planning [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex
Paper bibtex @article{dix-etal-2003-FI,
Author = {J{\"u}rgen Dix and Thomas Eiter and Michael Fink and Axel Polleres and Yingqian Zhang},
Journal = FI,
Month = NOV,
Number = 2,
Pages = {345--370},
Title = {{Monitoring Agents using Declarative Planning}},
Type = JOURNAL,
Url = {http://www.kr.tuwien.ac.at/research/reports/rr0310.ps.gz},
Volume = 57,
Year = 2003,
Bdsk-Url-1 = {http://www.kr.tuwien.ac.at/research/reports/rr0310.ps.gz}}Downloads: 0
{"_id":{"_str":"5342c5430e946d920a0036d0"},"__v":45,"authorIDs":["545717bc2abc8e9f3700004f","545720922abc8e9f370000ae","5457257c2abc8e9f370000e3","546a3dcdbc7d6a460d001844","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":["Dix, J.","Eiter, T.","Fink, M.","Polleres, A.","Zhang, Y."],"bibbaseid":"dix-eiter-fink-polleres-zhang-monitoringagentsusingdeclarativeplanning-2003","bibdata":{"bibtype":"article","type":"journal","author":[{"firstnames":["Jürgen"],"propositions":[],"lastnames":["Dix"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fink"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Yingqian"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"journal":"Fundamenta Informaticae","month":"November","number":"2","pages":"345–370","title":"Monitoring Agents using Declarative Planning","url":"http://www.kr.tuwien.ac.at/research/reports/rr0310.ps.gz","volume":"57","year":"2003","bdsk-url-1":"http://www.kr.tuwien.ac.at/research/reports/rr0310.ps.gz","bibtex":"@article{dix-etal-2003-FI,\n\tAuthor = {J{\\\"u}rgen Dix and Thomas Eiter and Michael Fink and Axel Polleres and Yingqian Zhang},\n\tJournal = FI,\n\tMonth = NOV,\n\tNumber = 2,\n\tPages = {345--370},\n\tTitle = {{Monitoring Agents using Declarative Planning}},\n\tType = JOURNAL,\n\tUrl = {http://www.kr.tuwien.ac.at/research/reports/rr0310.ps.gz},\n\tVolume = 57,\n\tYear = 2003,\n\tBdsk-Url-1 = {http://www.kr.tuwien.ac.at/research/reports/rr0310.ps.gz}}\n\n","author_short":["Dix, J.","Eiter, T.","Fink, M.","Polleres, A.","Zhang, Y."],"key":"dix-etal-2003-FI","id":"dix-etal-2003-FI","bibbaseid":"dix-eiter-fink-polleres-zhang-monitoringagentsusingdeclarativeplanning-2003","role":"author","urls":{"Paper":"http://www.kr.tuwien.ac.at/research/reports/rr0310.ps.gz"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}}},"bibtype":"article","biburl":"www.polleres.net/mypublications.bib","downloads":0,"keywords":[],"search_terms":["monitoring","agents","using","declarative","planning","dix","eiter","fink","polleres","zhang"],"title":"Monitoring Agents using Declarative Planning","year":2003,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}