1000 Years of Coo-BDI

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7169 LNAI, Issue , 2012, Pages 95-101

  Mascardi, Viviana ^a   Ancona, Davide ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BDI ARCHITECTURE; COOPERATIVITY; OPERATIONAL SEMANTICS; SEAMLESS INTEGRATION;

COMPUTER PROGRAMMING LANGUAGES;

SPEECH COMMUNICATION;

EID: 84859311951     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29113-5_9     Document Type: Conference Paper

References (35)

1. Alves, A., et al.: Web Services Business Process Execution Language version 2.0, public review draft, August 23 (2006), http://docs.oasis-open.org/ wsbpel/2.0/wsbpel-specification-draft.html (accessed on August 30, 2011)
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672-713 (2002)
3. Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI Model with Cooperativity. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 109-134. Springer, Heidelberg (2004)
4. Ancona, D., Mascardi, V., Hübner, J.F., Bordini, R.H.: Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, pp. 696-705. IEEE Computer Society (2004)
5. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Interaction Protocols and Capabilities: A Preliminary Report. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 63-77. Springer, Heidelberg (2006) (Pubitemid 44849836)
6. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: The need of capability requirements inside choreographies and interaction protocols. In: Yan, Y., Zhang, L. (eds.) Proceedings of the InternationalWorkshop on Service Oriented Techniques, SOT 2006, pp. 17-24 (2006)
7. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Preserving players goals: a choreography-driven matchmaking approach. In: Baldoni, M., Boccalatte, A., De Paoli, F., Martelli, M., Mascardi, V. (eds.) Proceedings of the 8th AI*IA/TABOO Joint Workshop "From Objects to Agents", WOA 2007, pp. 132-139. Seneca Edizioni Torino (2007)
8. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management 2(4), 247-261 (2007)
9. Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages. Annals of Mathematics and Artificial Intelligence 42, 197-226 (2004)
10. Bordini, R.H., Wooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)
11. Bozzo, L., Mascardi, V., Ancona, D., Busetta, P.: COOWS: Adaptive BDI agents meet service-oriented computing. In: Gleizes, M.P., Kaminka, G.A., Nowé, A., Ossowski, S., Tuyls, K., Verbeeck, K. (eds.) Proceedings of the 3rd European Workshop on Multi-Agent Systems, EUMAS 2005, p. 473.
12. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten (2005); longer version of this paper also appeared in the Proceedings of the WWW/Internet 2005 Conference, edited by P. Isaìas and M. B. Nunes, vol. II, pp. 205-209 (2005)
13. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1, W3C note, March 15 (2001), http://www.w3.org/TR/wsdl (accessed on August 30, 2011)
14. Consoli, A., Tweedale, J., Jain, L.C.: An Architecture for Agent Coordination and Cooperation. In: Apolloni, B., Howlett, R.J., Jain, L.C. (eds.) KES 2007, Part III. LNCS (LNAI), vol. 4694, pp. 934-940. Springer, Heidelberg (2007)
15. Costantini, S., Dell'Acqua, P., Pereira, L.M.: A multi-layer framework for evolving and learning agents. In: Proceedings of the AAAI 2008 Workshop on Metareasoning: Thinking about Thinking. Stanford University, AAAI Press (2008)
16. Costantini, S., Dell'Acqua, P., Pereira, L.M.: Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. In: Pasche, A. (ed.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 250-265. Springer, Heidelberg (2011)
17. Costantini, S., Dell'Acqua, P., Pereira, L.M., Toni, F.: Learning and evolving agents in user monitoring and training. In: Proceedings of the 48th National Conference of the Italian Association for Computer Science and Automatic Computation, AICA Conference 2010 (2010)
18. Costantini, S., Dell'Acqua, P., Pereira, L.M., Tsintza, P.: Runtime verification of agent properties. In: Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 (2009)
19. Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685-688. Springer, Heidelberg (2004) (Pubitemid 41049974)
20. Costantini, S., Tocchio, A.: Learning by knowledge exchange in logical agents. In: Corradini, F., De Paoli, F., Merelli, E., Omicini, A. (eds.) Proceedings of the 6th AI"IA/TABOO Joint Workshop "From Objects to Agents", WOA 2005, pp. 1-8. Pitagora Editrice Bologna (2005)
21. Emerson, E.A., Halpern, J.Y.: "Sometimes" and "not never" revisited: on branching versus linear time temporal logic. Journal of the ACM 33(1), 151-178 (1986)
22. Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)
23. Honda, K.: Types for Dynamic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509-523. Springer, Heidelberg (1993)
24. Klapiscak, T., Bordini, R.H.: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 91-110. Springer, Heidelberg (2009)
25. Mascardi, V., Ancona, D., Bordini, R.H., Ricci, A.: CooL-AgentSpeak: Enhancing AgentSpeak-DL agents with plan exchange and ontology services. In: Boissier, O., Bradshaw, J., Cao, L., Fischer, K., Hacid, M.-S. (eds.) Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2011, pp. 109-116. IEEE Computer Society (2011)
26. Meneguzzi, F., Luck, M.: Composing High-Level Plans for Declarative Agent Programming. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol. 4897, pp. 69-85. Springer, Heidelberg (2008)
27. ATL: An alternatingtime BDI logic for multiagent systems. In: Gleizes, M.P., Kaminka, G.A., Nowé, A., Ossowski, S., Tuyls, K., Verbeeck, K. (eds.) Proceedings of the 3rd European Workshop on Multi-Agent Systems, EUMAS 2005, pp. 214-223. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten (2005)
28. Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 135-154. Springer, Heidelberg (2004)
29. Moreira, Á.F., Vieira, R., Bordini, R.H., Hübner, J.F.: Agent-Oriented Programming with Underlying Ontological Reasoning. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 155-170. Springer, Heidelberg (2006)
30. Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Perram, J.W., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42-55. Springer, Heidelberg (1996)
31. Rao, A.S., Georgeff, M.P.: Asymmetry thesis and side-effect problems in lineartime and branching-time intention logics. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI 1991, pp. 498-505. Morgan Kaufmann (1991)
32. Rao, A.S., Georgeff, M.P.: Deliberation and intentions. In: D'Ambrosio, B., Smets, P. (eds.) Proceedings of the 7th Conference on Uncertainty in Artificial Intelligence, UAI 1991. Morgan Kaufmann (1991)
33. Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference of Principles of Knowledge Representation and Reasoning, KR 1991. Morgan Kaufmann Publishers (1991)
34. Varela, C., Abalde, C., Castro, L.M., Gulías, J.: On modelling agent systems with Erlang. In: Cesarini, F., Wadler, P. (eds.) 3rd ACM SIGPLAN Workshop on Erlang, Proceedings, pp. 65-70. ACM (2004)
35. Winikoff, M.: An AgentSpeak Meta-interpreter and Its Applications. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 123-138. Springer, Heidelberg (2006)