{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:06:07Z","timestamp":1725512767143},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540719557"},{"type":"electronic","value":"9783540719564"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71956-4_11","type":"book-chapter","created":{"date-parts":[[2007,8,5]],"date-time":"2007-08-05T09:20:28Z","timestamp":1186305628000},"page":"185-200","source":"Crossref","is-referenced-by-count":25,"title":["Validation of BDI Agents"],"prefix":"10.1007","author":[{"given":"Jan","family":"Sudeikat","sequence":"first","affiliation":[]},{"given":"Lars","family":"Braubach","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Pokahr","sequence":"additional","affiliation":[]},{"given":"Winfried","family":"Lamersdorf","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Renz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Odell, J.: Objects and agents compared. Journal of Object Technology 1 (2002)","DOI":"10.5381\/jot.2002.1.1.c4"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0921-8890(05)80025-9","volume":"6","author":"R.A. Brooks","year":"1990","unstructured":"Brooks, R.A.: Elephants don\u2019t play chess. Robotics and Auton. Sys.\u00a06, 3\u201315 (1990)","journal-title":"Robotics and Auton. Sys."},{"key":"11_CR3","volume-title":"Intentions, Plans, and Practical Reason","author":"M. Bratman","year":"1987","unstructured":"Bratman, M.: Intentions, Plans, and Practical Reason. Harvard Univ. Press, Cambridge (1987)"},{"key":"11_CR4","unstructured":"Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proceedings of the First Intl. Conference on Multiagent Systems (1995)"},{"key":"11_CR5","first-page":"677","volume-title":"Proc. of AAAI 87, Seattle, Washington","author":"M.P. Georgeff","year":"1987","unstructured":"Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning: an experiment with a mobile robot. In: Proc. of AAAI 87, Seattle, Washington, pp. 677\u2013682. AAAI Press, Menlo Park (1987)"},{"key":"11_CR6","volume-title":"The 2005 IEEE\/WIC\/ACM Int. Conf. on IAT-2005","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: A flexible BDI architecture supporting extensibility. In: The 2005 IEEE\/WIC\/ACM Int. Conf. on IAT-2005, ACM Press, New York (2005)"},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/367211.367250","volume":"44","author":"N.R. Jennings","year":"2001","unstructured":"Jennings, N.R.: Building complex, distributed systems: the case for an agent-based approach. Comms. of the ACM\u00a044 (4), 35\u201341 (2001)","journal-title":"Comms. of the ACM"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0950-5849(95)93487-Y","volume":"37","author":"M.H.V. Liedekerke","year":"1995","unstructured":"Liedekerke, M.H.V., Avouris, N.M.: Debugging multi-agent systems. Information and Software Technology Journal\u00a037, 103\u2013112 (1995)","journal-title":"Information and Software Technology Journal"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Ndumu, D.T., Nwana, H.S., Lee, L.C., Collis, J.C.: Visualising and debugging distributed multi-agent systems. Proc. of AGENTS \u201999, 326\u2013333 (1999)","DOI":"10.1145\/301136.301220"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/372202.372288","volume-title":"Proceedings of the 2001 ACM Symposium on Applied Computing (SAC)","author":"D.W. Flater","year":"2001","unstructured":"Flater, D.W.: Debugging agent interactions: a case study. In: Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), pp. 107\u2013114. ACM Press, New York (2001)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: Agentspeak(l): Bdi agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"11_CR12","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Programming Multi-Agent Systems","author":"L. Braubach","year":"2005","unstructured":"Braubach, L., Pokahr, A., Lamersdorf, W., Moldt, D.: Goal representation for BDI agent systems. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol.\u00a03346, Springer, Heidelberg (2005)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: A bdi architecture for goal deliberation. In: Proc. of AAMAS \u201905, pp. 1295\u20131296 (2005)","DOI":"10.1145\/1082473.1082740"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/10719619_21","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"P. Busetta","year":"2000","unstructured":"Busetta, P., Howden, N., R\u00f6nnquist, R., Hodgson, A.: Structuring BDI agents in functional clusters. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol.\u00a01757, pp. 277\u2013289. Springer, Heidelberg (2000)"},{"key":"11_CR15","volume-title":"Advances in Computers, vol. 65","author":"T. Menzies","year":"2005","unstructured":"Menzies, T., Pecheur, C.: Verification and validation and artificial intelligence. In: Zelkowitz, M. (ed.) Advances in Computers, vol. 65, Elsevier, Amsterdam (2005)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Timm, I.J., Scholz, T.: From Testing to Theorem Proving (Part IV). In: Multiagent Engineering. Theory and Applications in Enterprises. International Handbooks on Information Systems, pp. 531\u2013554. Springer, Heidelberg (2006), doi:10.1007\/3-540-32062-8","DOI":"10.1007\/3-540-32062-8"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70945-9_11","volume-title":"Agent-Oriented Software Engineering VII","author":"J. Sudeikat","year":"2007","unstructured":"Sudeikat, J., Renz, W.: Monitoring group behavior in goal\u2013directed agents using co\u2013efficient plan observation. In: Padgham, L., Zambonelli, F. (eds.) AOSE VII \/ AOSE 2006. LNCS, vol.\u00a04405, Springer, Heidelberg (2007)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.engappai.2004.11.018","volume":"18","author":"L. Padgham","year":"2005","unstructured":"Padgham, L., Winikoff, M., Poutakidis, D.: Adding debugging support to the prometheus methodology. Engin. Applications of Art. Intel.\u00a018, 173\u2013190 (2005)","journal-title":"Engin. Applications of Art. Intel."},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/11562931_45","volume-title":"Logic Programming","author":"F. Chesani","year":"2005","unstructured":"Chesani, F.: Formalization and verification of interaction protocols. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 437\u2013438. Springer, Heidelberg (2005)"},{"key":"11_CR20","unstructured":"Bot\u00eda, J.A., L\u00f3pez-Acosta, A., G\u00f3mez-Skarmeta, A.F.: ACLAnalyser: A tool for debugging multi-agent systems. In: ECAI, pp. 967\u2013968 (2004)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Lam, D.N., Barber, K.S.: Automated interpretation of agent behavior. In: Workshop for Agent-Oriented Information Systems (AOIS-2005) (2005)","DOI":"10.1007\/11916291_1"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Lam, D.N., Barber, K.S.: Comprehending agent software. In: Proc. of the 4th int. joint conf. on autonomous agents and multiagent systems (AAMAS \u201905) (2005)","DOI":"10.1145\/1082473.1082562"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Low, C.K., Chen, T.Y., R\u00f6nnquist, R.: Automated test case generation for bdi agents. In: Autonomous Agents and Multi-Agent Systems, vol. 2, pp. 311\u2013332 (1999)","DOI":"10.1023\/A:1010011219782"},{"key":"11_CR24","doi-asserted-by":"crossref","DOI":"10.1002\/0470861223","volume-title":"Developing Intelligent Agent Systems: A Practical Guide","author":"L. Padgham","year":"2004","unstructured":"Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, Chichester (2004)"},{"key":"11_CR25","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Adaptive Agents and Multi-Agent Systems","author":"D. Poutakidis","year":"2003","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: the case of interaction protocols. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) Adaptive Agents and Multi-Agent Systems. LNCS (LNAI), vol.\u00a02636, Springer, Heidelberg (2003)"},{"key":"11_CR26","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Foundations of Intelligent Systems","author":"D. Poutakidis","year":"2003","unstructured":"Poutakidis, D., Padgham, L., Winikoff, M.: An exploration of bugs and debugging in multi-agent systems. In: Zhong, N., Ra\u015b, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol.\u00a02871, Springer, Heidelberg (2003)"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Assertions: a personal perspective. Software pioneers: contributions to software engineering, 356\u2013366 (2002)","DOI":"10.1007\/978-3-642-59412-0_22"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Floyd, R.: Assigning meaning to programs. In: Mathematical Aspects of Computer Science, XIX American Mathematical Society, pp. 19\u201332 (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"11_CR29","unstructured":"Turing, A.M.: Checking a large routine. In: Report on a Conference on High Speed Automatic Calculating Machines, Cambridge University Mathematical Lab. (1949)"},{"key":"11_CR30","volume-title":"Object Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Voas, J.: How assertions can increase test effectiveness. IEEE Software, 118\u2013122 (March\/April 1997)","DOI":"10.1109\/52.582981"},{"key":"11_CR32","unstructured":"Busetta, P., R\u00f6nnquist, R., Hodgson, A., Lucas, A.: Jack - intelligent agents \u2013 components for intelligent agents in java. Technical report, Agent Oriented Software Pty. Ltd. (1998)"},{"key":"11_CR33","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/0-387-26350-0_6","volume-title":"Multi-Agent Programming","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A bdi reasoning engine. In: Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015, pp. 149\u2013174. Springer, Heidelberg (2005), doi:10.1007\/b137449"},{"key":"11_CR34","volume-title":"Multi-Agent Systems","author":"J. Ferber","year":"1999","unstructured":"Ferber, J.: Multi-Agent Systems. Addison-Wesley, Reading (1999)"},{"key":"11_CR35","volume-title":"Software Agent-Based Applications, Platforms and Development Kits","author":"L. Braubach","year":"2005","unstructured":"Braubach, L., Pokahr, A., Lamersdorf, W.: Jadex: A BDI Agent System Combining Middleware and Reasoning. In: Software Agent-Based Applications, Platforms and Development Kits, Birkh\u00e4user, Basel (2005)"},{"key":"11_CR36","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM\u00a015, 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"key":"11_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, Springer, Heidelberg (1997)"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"Braubach, L., Pokahr, A., Lamersdorf, W.: Extending the capability concept for flexible BDI agent modularization. In: Proc. of PROMAS-2005 (2005)","DOI":"10.1007\/11678823_9"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71956-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:27:30Z","timestamp":1605745650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71956-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540719557","9783540719564"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71956-4_11","relation":{},"subject":[]}}