{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:18:46Z","timestamp":1725477526497},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540689591"},{"type":"electronic","value":"9783540689614"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11961536_10","type":"book-chapter","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T03:09:10Z","timestamp":1169176150000},"page":"141-155","source":"Crossref","is-referenced-by-count":12,"title":["JADL \u2013 An Agent Description Language for Smart Agents"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Konnerth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Hirsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sahin","family":"Albayrak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"473","volume-title":"Principles of Knowledge Representation and Reasoning: Proc. of the Second International Conference (KR 1991)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proc. of the Second International Conference (KR 1991), pp. 473\u2013484. Morgan Kaufmann, San Mateo (1991)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/5254.757631","volume":"14","author":"Y. Labrou","year":"1999","unstructured":"Labrou, Y., Finin, T., Peng, Y.: The current landscape of agent communication languages. IEEE Intelligent Systems\u00a014, 45\u201352 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"10_CR3","unstructured":"Luck, M., McBurney, P., Shehory, O., Willmott, S.: Agent based computing - agent technology roadmap. Roadmap, AgentLink III (2005) (Draft Version of July 2005)"},{"key":"10_CR4","unstructured":"Sesseler, R.: Eine modulare Architektur f\u00fcr dienstbasierte Interaktion zwischen Agenten. Doctocal thesis, Technische Universit\u00e4t Berlin (2002)"},{"key":"10_CR5","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Wolters-Noordhoff Publishing and North-Holland Publishing Company (1971) (written in 1953)"},{"key":"10_CR6","first-page":"11","volume-title":"Proc. 13th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2001)","author":"R. Kotagiri","year":"2001","unstructured":"Kotagiri, R., Bailey, J., Busetta, P.: Transaction oriented computational models for multi-agent systems. In: Proc. 13th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2001), pp. 11\u201317. IEEE Press, Los Alamitos (2001)"},{"key":"10_CR7","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":"10_CR8","unstructured":"Bordini, R.H., H\u00fcbner, J.F., et\u00a0al.: Jason: a Java Based AgentSpeak Interpreter Used with SACI for Multi-Agent Distribution over the Net. 5th edn. (2004)"},{"key":"10_CR9","unstructured":"Dastani, M.: 3APL Platform. Utrecht University (2004)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., Boer, F.S.D., der Hoek, W.V., Meyer, J.J.: Agent programming in 3apl. Autonomous Agents and Multi-Agent Systems\u00a02, 357\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10_CR11","unstructured":"Giacomo, G., Lesperance, Y., Levesque, H.: Congolog, a concurrent programming language based on the situation calculus: Foundations. Technical report, University of Toronto (1999)"},{"key":"10_CR12","unstructured":"Giacomo, G., Lesperance, Y., Levesque, H.: Congolog, a concurrent programming language based on the situation calculus: Language and implementation. Technical report, University of Toronto (1998)"},{"key":"10_CR13","unstructured":"Finger, M., Fisher, M., Owens, R.: Metatem at work: Modelling reactive systems using executable temporal logic. In: Proceedings of the International Conference on Industrial and Engeneering Applications of Artificial Intelligence, Gordon and Breach (1993)"},{"key":"10_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-30200-1_2","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Fisher","year":"2004","unstructured":"Fisher, M., Ghidini, C., Hirsch, B.: Programming groups of rational agents. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03259, pp. 16\u201333. Springer, Heidelberg (2004)"},{"key":"10_CR15","unstructured":"Busetta, P., R\u00f6nnquist, R., Hodgson, A., Lucas, A.: JACK \u2014 components for intelligent agents in java. Technical report, Agent Oriented Software Pty, Ltd. (1999)"},{"key":"#cr-split#-10_CR16.1","unstructured":"Bellifemine, F., Poggi, A., Rimassa, G.: JADE - a FIPA-compliant agent framework. Internal technical report, CSELT (1999);"},{"key":"#cr-split#-10_CR16.2","unstructured":"Part of this report has been also published. In: Proceedings of PAAM 1999, pp. 97\u2013108 (April 1999)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Helsinger, A., Thome, M., Wright, T.: Cougaar: A scalabe, distributed multi-agent architecture. In: IEEE SMC 2004 (2004)","DOI":"10.1109\/ICSMC.2004.1399959"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Gutknecht, O., Ferber, J.: The madkit agent platform architecture. Technical Report R.R.LIRMM00xx, Laboratoire d\u2019Informatique, de Robotqiue et de Micro\u00e9lectronique de Montpellier (2000)","DOI":"10.1145\/336595.337048"},{"key":"10_CR19","volume-title":"Intentions, Plans, and Practical Reason","author":"M.E. Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Havard University Press, Cambridge (1987)"},{"key":"10_CR20","unstructured":"Penberthy, J.S., Weld, D.: UCPOP: A sound, complete, partial-order planner for ADL. In: Proceedings of Knowledge Review 92, Cambridge, MA, pp. 103\u2013114 (1992)"},{"key":"10_CR21","unstructured":"FIPA: Fipa acl message structure specification (2002)"},{"key":"10_CR22","unstructured":"Albayrak, S., Konnerth, T., Hirsch, B.: Ensuring security and accountability in agent communication (in preparation, 2005)"},{"key":"10_CR23","unstructured":"Lyons, K.: The agile approach. Technical report, Conoco Phillips Australia Pty Ltd. (2004)"},{"key":"10_CR24","unstructured":"Rieger, A., Ciss\u00e9e, R., Feuerstack, S., Wohltorf, J., Albayrak, S.: An agent-based architecture for ubiquituous multitmodal user interfaces. In: The 2005 International Conference in Active Media Technology (2005)"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/MCOM.2005.1452837","volume":"43","author":"J. Wohltorf","year":"2005","unstructured":"Wohltorf, J., Ciss\u00e9e, R., Rieger, A.: BerlinTainment: An agent-based context-aware entertainment planning system. IEEE Communications Magazine\u00a043, 102\u2013109 (2005)","journal-title":"IEEE Communications Magazine"},{"key":"10_CR26","unstructured":"Albayrak, S., Dragan, M.: Generic intelligent personal information agent. In: International Conference on Advances in Internet, Processing, Systems, and Interdisciplinary Research (2004)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11961536_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:22:11Z","timestamp":1619493731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11961536_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540689591","9783540689614"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11961536_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}