{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:10Z","timestamp":1725491650116},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749486"},{"type":"electronic","value":"9783540749493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74949-3_6","type":"book-chapter","created":{"date-parts":[[2007,9,19]],"date-time":"2007-09-19T01:46:18Z","timestamp":1190166378000},"page":"61-72","source":"Crossref","is-referenced-by-count":1,"title":["Using DESs for Temporal Diagnosis of Multi-agent Plan Execution"],"prefix":"10.1007","author":[{"given":"Femke","family":"de Jonge","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Roos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huib","family":"Aldewereld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","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, Boston, MA (1999)"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M. Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosibility of discrete event systems. IEEE Transactions on Automatic Control\u00a040, 1555\u20131575 (1995)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"6_CR3","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"},{"issue":"1\u20132","key":"6_CR4","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\u20132), 121\u2013170 (2005)","journal-title":"Artificial Intelligence"},{"key":"6_CR5","unstructured":"Birnbaum, L., Collins, G., Freed, M., Krulwich, B.: Model-based diagnosis of planning failures. In: AAAI 1990, pp. 318\u2013323 (1990)"},{"key":"6_CR6","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":"6_CR7","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"},{"issue":"1","key":"6_CR8","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":"6_CR9","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)"},{"key":"6_CR10","unstructured":"de Jonge, F., Roos, N., Witteveen, C.: Primary and secondary plan diagnosis. In: DX 2006. 17th International Workshop on Principles of Diagnosis, pp. 133\u2013140. Universidad de Valladolid (2006)"},{"key":"6_CR11","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","year":"2006","unstructured":"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":"6_CR12","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":"6_CR13","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":"6_CR14","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":"6_CR15","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)"},{"key":"6_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/11559221_38","volume-title":"Multi-Agent Systems and Applications IV","author":"F. Jonge de","year":"2005","unstructured":"de Jonge, F., Roos, N., van den Herik, H.: Keeping plan execution healthy. In: P\u011bchou\u010dek, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol.\u00a03690, pp. 377\u2013387. Springer, Heidelberg (2005)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology\u00a04, 105\u2013124 (1996)","journal-title":"IEEE Transactions on Control Systems Technology"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74949-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T04:53:05Z","timestamp":1556859185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74949-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749486","9783540749493"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74949-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}