{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:32:12Z","timestamp":1760707932866},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1007\/s10458-008-9045-x","type":"journal-article","created":{"date-parts":[[2008,4,11]],"date-time":"2008-04-11T13:17:18Z","timestamp":1207919838000},"page":"267-294","source":"Crossref","is-referenced-by-count":18,"title":["Primary and secondary diagnosis of multi-agent plan execution"],"prefix":"10.1007","volume":"18","author":[{"given":"Femke","family":"de Jonge","sequence":"first","affiliation":[]},{"given":"Nico","family":"Roos","sequence":"additional","affiliation":[]},{"given":"Cees","family":"Witteveen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,4,12]]},"reference":[{"key":"9045_CR1","doi-asserted-by":"crossref","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. and Zanella M. (1999). Diagnosis of large active systems. Artificial Intelligence 110: 135\u2013183","journal-title":"Artificial Intelligence"},{"key":"9045_CR2","unstructured":"Birnbaum, L., Collins, G., Freed, M., & Krulwich, B. (1990). Model-based diagnosis of planning failures. In AAAI 90, pp. 318\u2013323."},{"key":"9045_CR3","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A.L. Blum","year":"1997","unstructured":"Blum A.L. and Furst M.L. (1997). Fast planning through planning graph analysis. Artificial Intelligence 90: 281\u2013300","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9045_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1023\/A:1021713405822","volume":"6","author":"N. Carver","year":"2003","unstructured":"Carver N. and Lesser V.R. (2003). Domain monotonicity and the performance of local solutions strategies for cdps-based distributed sensor interpretation and distributed diagnosis. Autonomous Agents and Multi-Agent Systems 6(1): 35\u201376","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9045_CR5","doi-asserted-by":"crossref","unstructured":"Cassandras, C. G., & Lafortune, S. (1999). Introduction to discrete event systems. Kluwer Academic Publishers.","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"9045_CR6","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1002\/int.1990.5.1.83","volume":"5","author":"L. Console","year":"1990","unstructured":"Console L. and Torasso P. (1990). Hypothetical reasoning in causal models. International Journal of Intelligence Systems 5: 83\u2013124","journal-title":"International Journal of Intelligence Systems"},{"key":"9045_CR7","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"Console L. and Torasso P. (1991). A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7: 133\u2013141","journal-title":"Computational Intelligence"},{"key":"9045_CR8","unstructured":"de Jonge, F., & Roos, N. (2004). Plan-execution health repair in a multi-agent system. In PlanSIG 2004."},{"key":"9045_CR9","doi-asserted-by":"crossref","unstructured":"de Jonge, F., Roos, N., & van den Herik, H. J. (2005). Keeping plan execution healthy. In Multi-Agent Systems and Applications IV: CEEMAS 2005, LNCS 3690, pp. 377\u2013387.","DOI":"10.1007\/11559221_38"},{"key":"9045_CR10","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"de Kleer J., Mackworth A.K. and Reiter R. (1992). Characterizing diagnoses and systems. Artificial Intelligence 56: 197\u2013222","journal-title":"Artificial Intelligence"},{"key":"9045_CR11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"Williams B.C. and Kleer J. (1987). Diagnosing multiple faults. Artificial Intelligence 32: 97\u2013130","journal-title":"Artificial Intelligence"},{"key":"9045_CR12","unstructured":"McDermott, D., et al. (1998). The pddl planning domain definition language. In The AIPS-98 Planning Competition Committee."},{"key":"9045_CR13","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"5","author":"R.E. Fikes","year":"1971","unstructured":"Fikes R.E. and Nilsson N. (1971). Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 5: 189\u2013208","journal-title":"Artificial Intelligence"},{"issue":"10","key":"9045_CR14","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare C.A.R. (1969). An axiomatic basis for computer programming. Communications of the ACM 12(10): 576\u2013585","journal-title":"Communications of the ACM"},{"key":"9045_CR15","doi-asserted-by":"crossref","unstructured":"Horling, B., Benyo, B., & Lesser, V. (2001). Using self-diagnosis to adapt organizational structures. In Proceedings of the 5th International Conference on Autonomous Agents (pp. 529\u2013536). ACM Press.","DOI":"10.1145\/375735.376436"},{"key":"9045_CR16","unstructured":"Kalech, M., & Kaminka, G. A. (2003). On the design of social diagnosis algorithms for multi-agent teams. In IJCAI-03, pp. 370\u2013375."},{"key":"9045_CR17","doi-asserted-by":"crossref","unstructured":"Kalech, M., & Kaminka, G. A. (2005). Diagnosing a team of agents: Scaling-up. In AAMAS 2005, pp. 249\u2013255.","DOI":"10.1145\/1082473.1082511"},{"key":"9045_CR18","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1016\/j.artint.2007.03.005","volume":"171","author":"M. Kalech","year":"2007","unstructured":"Kalech M. and Kaminka G.A. (2007). On the design of coordination diagnosis algorithms for theams of situated agents. Artificial Intelligence 171: 491\u2013513","journal-title":"Artificial Intelligence"},{"key":"9045_CR19","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1016\/j.knosys.2006.11.010","volume":"20","author":"R. Micalizio","year":"2007","unstructured":"Micalizio R. and Torasso P. (2007). On-line monitoring of plan execution: A distributed approach. Knowledge-Based Systems 20: 134\u2013142","journal-title":"Knowledge-Based Systems"},{"key":"9045_CR20","doi-asserted-by":"crossref","unstructured":"Micalizio, R., & Torasso, P. (2007). Team cooperation for plan recovery in multi-agent systems. In Multiagent System Technologies, LNCS 4687, pp. 170\u2013181.","DOI":"10.1007\/978-3-540-74949-3_15"},{"key":"9045_CR21","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y. Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9 Y. and Cordier M. (2005). A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence 164: 121\u2013170","journal-title":"Artificial Intelligence"},{"key":"9045_CR22","unstructured":"Poole, D. (1988). Representing knowledge for logic-based diagnosis. In International Conference on Fifth Generation Computer Systems, pp. 1282\u20131290."},{"key":"9045_CR23","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter R. (1987). A theory of diagnosis from first principles. Artificial Intelligence 32: 57\u201395","journal-title":"Artificial Intelligence"},{"key":"9045_CR24","doi-asserted-by":"crossref","unstructured":"Roos, N., & Witteveen, C. (2005). Diagnosis of plans and agents. In Multi-Agent Systems and Applications IV: CEEMAS 2005, LNCS 3690, pp. 357\u2013366.","DOI":"10.1007\/11559221_36"},{"key":"9045_CR25","unstructured":"Roos, N., & Witteveen, C. (2006). Models and methods for plan diagnosis. In Formal Approaches to Multi-Agent Systems (FAMAS\u201906)."},{"key":"9045_CR26","author":"N. Roos","year":"2008","unstructured":"Roos N. and Witteveen C. (2008). Models and methods for plan diagnosis. Journal of Autonomous Agents and Multi-Agent Systems. doi: 10.1007\/s10458-007-9017-6 .","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"9045_CR27","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M. Sampath","year":"1995","unstructured":"Sampath M., Sengupta R., Lafortune S., Sinnamohideen K. and Teneketzis D. (1995). Diagnosibility of discrete event systems. IEEE Transactions on Automatic Control 40: 1555\u20131575","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9045_CR28","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath M., Sengupta R., Lafortune S., Sinnamohideen K. and Teneketzis D. (1996). Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology 4: 105\u2013124","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"9045_CR29","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0004-3702(02)00273-4","volume":"142","author":"H. Tonino","year":"2002","unstructured":"Tonino H., Bos A., Witteveen C. and Weerdt M. (2002). Plan coordination by revision in collective agent based systems. Artificial Intelligence 142: 121\u2013145","journal-title":"Artificial Intelligence"},{"key":"9045_CR30","doi-asserted-by":"crossref","unstructured":"Witteveen, C., Roos, N., van der Krogt, R., & de Weerdt, M. (2005). Diagnosis of single and multi-agent plans. In AAMAS 2005, pp. 805\u2013812.","DOI":"10.1145\/1082473.1082596"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-008-9045-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T04:35:25Z","timestamp":1549773325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-008-9045-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,12]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["9045"],"URL":"https:\/\/doi.org\/10.1007\/s10458-008-9045-x","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,4,12]]}}}