{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:15Z","timestamp":1725491655010},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749486"},{"type":"electronic","value":"9783540749493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74949-3_14","type":"book-chapter","created":{"date-parts":[[2007,9,19]],"date-time":"2007-09-19T01:46:18Z","timestamp":1190166378000},"page":"157-169","source":"Crossref","is-referenced-by-count":1,"title":["Diagnosis of Plan Structure Violations"],"prefix":"10.1007","author":[{"given":"Nico","family":"Roos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cees","family":"Witteveen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/11559221_36","volume-title":"Multi-Agent Systems and Applications IV","author":"N. Roos","year":"2005","unstructured":"Roos, N., Witteveen, C.: Diagnosis of plans and agents. In: P\u011bchou\u010dek, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol.\u00a03690, pp. 357\u2013366. Springer, Heidelberg (2005)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Witteveen, C., Roos, N., van der Krogt, R., de Weerdt, M.: Diagnosis of single and multi-agent plans. In: AAMAS 2005, pp. 805\u2013812 (2005)","DOI":"10.1145\/1082473.1082596"},{"key":"14_CR3","unstructured":"de Jonge, F., Roos, N., Witteveen, C.: Primary and secondary plan diagnosis. In: DX 2006. 17th International Workshop on Principles of Diagnosis, Universidad de Valladolid, pp. 133\u2013140 (2006)"},{"key":"14_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/11872283_8","volume-title":"Multiagent System Technologies","author":"F. Jonge de","year":"2006","unstructured":"de Jonge, F., Roos, N., Witteveen, C.: Diagnosis of multi-agent plan execution. In: Fischer, K., Timm, I.J., Andr\u00e9, E., Zhong, N. (eds.) MATES 2006. LNCS (LNAI), vol.\u00a04196, pp. 86\u201397. Springer, Heidelberg (2006)"},{"key":"14_CR5","unstructured":"Kalech, M., Kaminka, G.A.: Towards model-based diagnosis of coordination failures. In: AAAI 2005, pp. 102\u2013107 (2005)"},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J.d. Kleer","year":"1987","unstructured":"Kleer, J.d., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence\u00a032(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"14_CR8","unstructured":"Kalech, M., Kaminka, G.A.: On the design of social diagnosis algorithms for multi-agent teams. In: IJCAI 2003, pp. 370\u2013375 (2003)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Kalech, M., Kaminka, G.A.: Diagnosing a team of agents: Scaling-up. In: AAMAS 2005, pp. 249\u2013255 (2005)","DOI":"10.1145\/1082473.1082511"},{"key":"14_CR10","unstructured":"de Jonge, F., Roos, N.: Plan-execution health repair in a multi-agent system. In: PlanSIG 2004. Proc. 23rd Annual Workshop of the UK Planning and Scheduling SIG (2004)"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1021713405822","volume":"6","author":"N. Carver","year":"2003","unstructured":"Carver, N., Lesser, V.: Domain monotonicity and the performance of local solutions strategies for CDPS-based distributed sensor interpretation and distributed diagnosis. Autonomous Agents and Multi-Agent Systems\u00a06(1), 35\u201376 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1145\/375735.376436","volume-title":"Proc. 5th Int\u2019l. Conf. on Autonomous Agents","author":"B. Horling","year":"2001","unstructured":"Horling, B., Benyo, B., Lesser, V.: Using self-diagnosis to adapt organizational structures. In: Proc. 5th Int\u2019l. Conf. on Autonomous Agents, pp. 529\u2013536. ACM Press, New York (2001)"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"110","author":"P. Baroni","year":"1999","unstructured":"Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artificial Intelligence\u00a0110(1), 135\u2013183 (1999)","journal-title":"Artificial Intelligence"},{"key":"14_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"1999","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R. Debouk","year":"2000","unstructured":"Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Journal of Discrete Event Dynamical Systems: Theory and Application\u00a010, 33\u201386 (2000)","journal-title":"Journal of Discrete Event Dynamical Systems: Theory and Application"},{"issue":"1-2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y. Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9, Y., Cordier, M.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence\u00a0164(1-2), 121\u2013170 (2005)","journal-title":"Artificial Intelligence"},{"key":"14_CR17","unstructured":"Roos, N., Witteveen, C.: Models and methods for plan diagnosis. In: FAMAS 2006. Formal Approaches to Multi-Agent Systems, ECAI 2006, Workshop Notes (2006)"},{"key":"14_CR18","unstructured":"Roos, N., Witteveen, C.: Diagnosis of plan structure violations. Technical Report MICC 07-05, Universiteit Maastricht (2007)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Roos, N., ten Teije, A., Witteveen, C.: A protocol for multi-agent diagnosis with spatially distributed knowledge. In: AAMAS 2003, pp. 655\u2013661 (2003)","DOI":"10.1145\/860575.860681"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74949-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:47:57Z","timestamp":1619520477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74949-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749486","9783540749493"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74949-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}