{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T08:45:59Z","timestamp":1770885959657,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540790426","type":"print"},{"value":"9783540790433","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79043-3_8","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T15:20:08Z","timestamp":1209396008000},"page":"124-139","source":"Crossref","is-referenced-by-count":23,"title":["A Common Semantic Basis for BDI Languages"],"prefix":"10.1007","author":[{"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Berndt","family":"Farwer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael H.","family":"Bordini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015, Springer, Heidelberg (2005)"},{"key":"8_CR2","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: Jason: A Java-based interperter for an extended version of AgentSpeak (2006), http:\/\/jason.sourceforge.net"},{"key":"8_CR3","volume-title":"Wiley Series in Agent Technology","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology, John Wiley & Sons, Chichester (2007)"},{"key":"8_CR4","unstructured":"Braubach, L., Pokahr, A., Farwer, B.: On Formalising Jadex. Personal Communication (January 2007)"},{"key":"8_CR5","first-page":"7","volume-title":"Proc. 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS)","author":"W. Clancey","year":"2003","unstructured":"Clancey, W., Sierhuis, M., Kaskiris, C., van Hoof, R.: Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System. In: Proc. 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp. 7\u201311. AAAI Press, Menlo Park (2003)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Dastani, M.: 2APL: A Practical Agent Programming Language. In: AAMAS conference PLDT-MAS Tutorial (2007)","DOI":"10.1145\/1329125.1329294"},{"key":"8_CR7","volume-title":"Proc. 2nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"M. Dastani","year":"2003","unstructured":"Dastani, M., Dignum, V., Dignum, F.: Role-Assignment in Open Agent Societies. In: Proc. 2nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), ACM Press, New York (2003)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini et al, [1], ch. 2, pp. 39\u201367.","DOI":"10.1007\/0-387-26350-0_2"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Goal Types in Agent Programming. In: Proc. 17th European Conference on Artificial Intelligence (ECAI) (2006)","DOI":"10.1145\/1160633.1160867"},{"key":"8_CR10","unstructured":"L.\u00a0A. Dennis. Agent Infrastructure Layer (AIL): Design and Operational Semantics v1.0. Technical Report ULCS-07-001, Department of Computer Science, University of Liverpool (2007 ), http:\/\/www.csc.liv.ac.uk\/research\/techreports\/"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Dennis, L.A., Fisher, M., Hepple, A.: Language constructs for multi-agent programming. In: Proc. 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (2007)","DOI":"10.1007\/978-3-540-88833-8_8"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","first-page":"214","volume-title":"Agent-Oriented Software Engineering IV","author":"O. Gutknecht","year":"2004","unstructured":"Gutknecht, O., Ferber, J., Michel, F.: From Agents to Organizations: An Organizational View of Multi-agent Systems. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 214\u2013230. Springer, Heidelberg (2004)"},{"key":"8_CR13","unstructured":"FIPA. FIPA Communicative Act Library Specification. Technical Report FIPA00037, Foundation for Intelligent Physical Agents(2002)"},{"key":"8_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/11678823_1","volume-title":"Programming Multi-Agent Systems","author":"M. Fisher","year":"2006","unstructured":"Fisher, M.: MetateM: The story so far. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) PROMAS 2005. LNCS (LNAI), vol.\u00a03862, pp. 3\u201322. Springer, Heidelberg (2006)"},{"key":"8_CR15","unstructured":"Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational Logics and Agents \u2014 A Roadmap of Current Technologies and Future Trends. In: Computational Intelligence (in press)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Hepple, A., Dennis, L., Fisher, M.: A common basis for agent organisation in BDI languages. In: Languages, Methologies and Development tools for Multi-Agent Systems (LADS 2007) (2007)","DOI":"10.1007\/978-3-540-85058-8_5"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0095049","volume-title":"Advanced Topics in Artificial Intelligence","author":"K.V. Hindricks","year":"1998","unstructured":"Hindricks, K.V., Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A Formal Embedding of AgentSpeak(L) in 3APL. In: Antoniou, G., Slaney, J.K. (eds.) Canadian AI 1998. LNCS, vol.\u00a01502, pp. 155\u2013166. Springer, Heidelberg (1998)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Hindricks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4), 357\u2013401 (1999)","DOI":"10.1023\/A:1010084620690"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"H\u00fcbner, J.F., Bordini, R.H., Wooldridge, M.: Programming Declarative Goals using Plan Patterns. In: Proc. 4th International Workshop on Declarative Agent Languages and Technologies (DALT), Hakodate, Japan, pp. 65\u201381 (May 2006)","DOI":"10.1007\/11961536_9"},{"issue":"1-2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"N. Muscettola","year":"1998","unstructured":"Muscettola, N., Nayak, P.P., Pell, B., Williams, B.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence\u00a0103(1-2), 5\u201348 (1998)","journal-title":"Artificial Intelligence"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: A Flexible BDI Architecture Supporting Extensibility. In: Proc. IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT), pp. 379\u2013385 (2005)","DOI":"10.1109\/IAT.2005.9"},{"key":"8_CR22","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. Rao","year":"1996","unstructured":"Rao, A.: 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":"8_CR23","unstructured":"Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. 1st International Conference on Multi-Agent Systems (ICMAS), San Francisco, pp. 312\u2013319 (1995)"},{"key":"8_CR24","unstructured":"Sierhuis, M.: Multiagent Modeling and Simulation in Human-Robot Mission Operations (2006), http:\/\/ic.arc.nasa.gov\/ic\/publications"},{"key":"8_CR25","unstructured":"V\u00e1zquez-Salceda, J., Dignum, V., Dignum, F.: Organizing multiagent systems. Technical Report UU-CS-2004-015, Institute of Information and Computing Sciences, Utrecht University (2004)"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/ASE.2000.873645","volume-title":"Proceedings of the Fifteenth International Conference on Automated Software Engineering (ASE 2000)","author":"W. Visser","year":"2000","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proceedings of the Fifteenth International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, September 11-15, pp. 3\u201312. IEEE Computer Society, Los Alamitos (2000)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model Checking Multiagent Systems with MABLE. In: Proc. 1st International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) (July 2002)","DOI":"10.1145\/544964.544965"},{"key":"8_CR28","volume-title":"Foundations of Rational Agency","year":"1999","unstructured":"Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Kluwer, Dordrecht (1999)"}],"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-79043-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:09:37Z","timestamp":1619521777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79043-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540790426","9783540790433"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79043-3_8","relation":{},"subject":[]}}