Monitoring Agents using Declarative Planning. Dix, J., Eiter, T., Fink, M., Polleres, A., & Zhang, Y. In Proceedings of the 26th German Conference on Artificial Intelligence (KI2003), volume 2821, of Lecture Notes in Computer Science (LNCS), pages 646–660, September, 2003. Springer.
![Monitoring Agents using Declarative Planning [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{dix-etal-2003,
Author = {J{\"u}rgen Dix and Thomas Eiter and Michael Fink and Axel Polleres and Yingqian Zhang},
Booktitle = {{Proceedings of the 26th German Conference on Artificial Intelligence (KI2003)}},
Day = {15--18},
Month = SEP,
Pages = {646--660},
Publisher = {Springer},
Series = LNCS,
Talk = {Yingqian Zhang},
Title = {{Monitoring Agents using Declarative Planning}},
Url = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/KI03.pdf},
Volume = 2821,
Year = 2003,
Bdsk-Url-1 = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/KI03.pdf}}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":"inproceedings","type":"inproceedings","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":[]}],"booktitle":"Proceedings of the 26th German Conference on Artificial Intelligence (KI2003)","day":"15–18","month":"September","pages":"646–660","publisher":"Springer","series":"Lecture Notes in Computer Science (LNCS)","talk":"Yingqian Zhang","title":"Monitoring Agents using Declarative Planning","url":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/KI03.pdf","volume":"2821","year":"2003","bdsk-url-1":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/KI03.pdf","bibtex":"@inproceedings{dix-etal-2003,\n\tAuthor = {J{\\\"u}rgen Dix and Thomas Eiter and Michael Fink and Axel Polleres and Yingqian Zhang},\n\tBooktitle = {{Proceedings of the 26th German Conference on Artificial Intelligence (KI2003)}},\n\tDay = {15--18},\n\tMonth = SEP,\n\tPages = {646--660},\n\tPublisher = {Springer},\n\tSeries = LNCS,\n\tTalk = {Yingqian Zhang},\n\tTitle = {{Monitoring Agents using Declarative Planning}},\n\tUrl = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/KI03.pdf},\n\tVolume = 2821,\n\tYear = 2003,\n\tBdsk-Url-1 = {http://www.kr.tuwien.ac.at/staff/eiter/et-archive/KI03.pdf}}\n\n","author_short":["Dix, J.","Eiter, T.","Fink, M.","Polleres, A.","Zhang, Y."],"key":"dix-etal-2003","id":"dix-etal-2003","bibbaseid":"dix-eiter-fink-polleres-zhang-monitoringagentsusingdeclarativeplanning-2003","role":"author","urls":{"Paper":"http://www.kr.tuwien.ac.at/staff/eiter/et-archive/KI03.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net%2Fmypublications.bib"}},"downloads":0,"html":""},"bibtype":"inproceedings","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"]}