{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:38:54Z","timestamp":1780673934843,"version":"3.54.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T00:00:00Z","timestamp":1191974400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T00:00:00Z","timestamp":1191974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1007\/s10458-007-9017-6","type":"journal-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T16:06:24Z","timestamp":1191945984000},"page":"30-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Models and methods for plan diagnosis"],"prefix":"10.1007","volume":"19","author":[{"given":"Nico","family":"Roos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cees","family":"Witteveen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,10,10]]},"reference":[{"key":"9017_CR1","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., & Traverso, P. (2002). Plan validation for extended goals under partial observability (preliminary report). In Proceedings of the AIPS 2002 Workshop on Planning via Model Checking, pp. 14\u201322, Toulouse, France."},{"key":"9017_CR2","unstructured":"Birnbaum, L., Collins, G., Freed, M., & Krulwich, B. (1990). Model-based diagnosis of planning failures. In AAAI 90, pp. 318\u2013323."},{"issue":"1","key":"9017_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1021713405822","volume":"6","author":"N. Carver","year":"2003","unstructured":"Carver N., 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":"9017_CR4","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., Torasso P. (1990). Hypothetical reasoning in causal models. International Journal of Intelligence Systems 5:83\u2013124","journal-title":"International Journal of Intelligence Systems"},{"key":"9017_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"Console L., Torasso P. (1991). A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7:133\u2013141","journal-title":"Computational Intelligence"},{"key":"9017_CR6","doi-asserted-by":"crossref","unstructured":"Cox, J. S., Durfee, E. H., & Bartold, Th. (2005). A distributed framework for solving the multiagent plan coordination problem. In AAMAS \u201905: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 821\u2013827, New York, NY, USA, 2005. ACM Press.","DOI":"10.1145\/1082473.1082598"},{"key":"9017_CR7","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. (2000). Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Journal of Discrete Event Dynamical Systems: Theory and Application 10:33\u201386","journal-title":"Journal of Discrete Event Dynamical Systems: Theory and Application"},{"key":"9017_CR8","unstructured":"Eiter, T., Erdem, E., & Faber, W. (2004). Diagnosing plan execution discrepancies in a logic-based action framework. Technical report INFSYS RR-1843-04-03, TU-Wien."},{"key":"9017_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"5","author":"R.E. Fikes","year":"1971","unstructured":"Fikes R.E., 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"},{"key":"9017_CR10","doi-asserted-by":"crossref","unstructured":"Gierz, G., Hofmann, K. H., Keimel, K., Lawson, J. D., Mislove, M., & Scott, D. S. (2003). Continuous Lattices and Domains. In Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press.","DOI":"10.1017\/CBO9780511542725"},{"key":"9017_CR11","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":"9017_CR12","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-48317-9_9","volume":"1600","author":"R.M. Jensen","year":"1999","unstructured":"Jensen R.M., Veloso M.M. (1999). OBDD-based universal planning: Specifying and solving planning problems for synchronized agents in non-deterministic domains. Lecture Notes in Computer Science 1600:213\u2013228","journal-title":"Lecture Notes in Computer Science"},{"key":"9017_CR13","unstructured":"de Jonge, F., & Roos, N. (2004). Plan-execution health repair in a multi-agent system. In Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG 2004), pp. 33\u201344, Cork, Ireland."},{"key":"9017_CR14","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":"9017_CR15","doi-asserted-by":"crossref","unstructured":"Kalech, M., & Kaminka, G. A. (2005). Diagnosing a team of agents: Scaling-up. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-05), pp. 249\u2013255, ACM Press.","DOI":"10.1145\/1082473.1082511"},{"key":"9017_CR16","unstructured":"Pencol\u00e9, Y., Cordier, M., & Roz\u00e9, L. (2001). Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In Twelfth International Workshop on Principles of Diagnosis \u0110 DX\u00d501. San Sicario, Italy, pp. 151\u2013158."},{"key":"9017_CR17","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. (1987). A theory of diagnosis from first principles. Artificial Intelligence 32:57\u201395","journal-title":"Artificial Intelligence"},{"key":"9017_CR18","doi-asserted-by":"crossref","unstructured":"Witteveen, C., Roos, N., van der Krogt, R. P. J., & de Weerdt, M. M. (2005). Diagnosis of single and multi-agent plans. In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-05), pp. 805\u2013812, ACM Press.","DOI":"10.1145\/1082473.1082596"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-007-9017-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10458-007-9017-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-007-9017-6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-007-9017-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T19:34:16Z","timestamp":1630438456000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10458-007-9017-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,10]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["9017"],"URL":"https:\/\/doi.org\/10.1007\/s10458-007-9017-6","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,10]]},"assertion":[{"value":"10 October 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}