Agent-oriented programming with underlying ontological reasoning

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

Volumn 3904 LNAI, Issue , 2006, Pages 155-170

  Moreira, Álvaro F ^a   Vieira, Renata ^b   Bordini, Rafael H ^c   Hübner, Jomi F ^d  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b UNIVERSIDADE DO VALE DO RIO DOS SINOS   (Brazil)

^c DURHAM UNIVERSITY   (United Kingdom)

^d REGIONAL UNIVERSITY OF BLUMENAU   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FORMAL LOGIC; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; SEMANTICS; WORLD WIDE WEB;

AGENT-ORIENTED PROGRAMMING; ONTOLOGICAL REASONING; ONTOLOGY; SEMANTIC WEB VISION;

COMPUTER PROGRAMMING;

EID: 33745766222     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691792_10     Document Type: Conference Paper

References (25)

1. N. Alechina, M. Jago, and B. Logan. Resource-bounded Belief Revision and Contraction. In this volume.
2. D. Ancona, V. Mascardi, J. F. Hübner, and R. H. Bordini. Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), New York, NY, 19-23 July, pages 698-705, New York, NY, 2004. ACM Press.
3. F. Baader, D. Calvanese, D. N. D. McGuinness, and P. Patel-Schneider, editors. Handbook of Description Logics. Cambridge University Press, Cambridge, 2003.
4. F. Baader and W. Nutt. Basic description logics. In F Baader, D. Calvanese, D. N. D. McGuinness, and P. Patel-Schneider, editors, Handbook of Description Logics, pages 43-95. Cambridge University Press, Cambridge, 2003.
5. R.-J. Beun, R. M. van Eijk, and H. Prüst. Ontological feedback in multiagent systems. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2004), New York, NY, 19-23 July, 2004.
6. R. H. Bordini, A. L. C. Bazzan, R. O. Jannone, D. M. Basso, R. M. Vicari, and V. R. Lesser. AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling. In Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), 15-19 July, Bologna, Italy, pages 1294-1302, New York, NY, 2002. ACM Press.
7. R. H. Bordini, J. F. Hübner, et al. Jason: A Java-based AgentSpeak interpreter used with Saci for multi-agent distribution over the net, manual, version 0.6 edition, Feb 2005. http://jason.sourceforge.net/.
8. R. H. Bordini and Á. F. Moreira. Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence, 42(1-3):197-226, Sept. 2004. Special Issue on Computational Logic in Multi-Agent Systems.
9. H. Chen, T. Finin, A. Joshi, F. Perich, D. Chakraborty, , and L. Kagal. Intelligent agents meet the semantic web in smart spaces. IEEE Internet Computing, 19(5):69-79, November/December 2004.
10. H. Chen, F. Perich, T. Finin, and A. Joshi. SOUPA: Standard Ontology for Ubiquitous and Pervasive Applications. In International Conference on Mobile and Ubiquitous Systems: Networking and Services, Boston, MA, August 2004.
11. A. C. da Rocha Costa, J. F. Hübner, and R. H. Bordini. On entering an open society. In XI Brazilian Symposium on Artificial Intelligence, pages 535-546, Fortaleza, Oct. 1994. Brazilian Computing Society.
12. Y. Ding, D. Fensel, M. C. A. Klein, B. Omelayenko, and E. Schulten. The role of ontologies in ecommerce. In Staab and Studer [24], pages 593-616.
13. I. Foster and C. Kesselman, editors. The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, second edition, 2003.
14. V. Haarslev and R. Moller. Description of the RACER system and its applications. In C. A. Goble, D. L. McGuinness, R. Möller, and P. F. Patel-Schneider, editors, Proceedings of the International Workshop in Description Logics 2001 (DL'01), 2001.
15. I. Horrocks. FaCT and iFaCT. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics (DL'99), pages 133-135, 1999.
16. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In D. Fensel, K. Sycara, and J. Mylopoulos, editors, Proc. of the 2003 International Semantic Web Conference (ISWC 2003), number 2870 in LNCS, pages 17-29. Springer, 2003.
17. D. L. McGuinness and F. van Harmelen, editors. OWL Web Ontology Language overview. W3C Recommendation. Avalilable at http://www.w3.org/TR/owl-features/, February 2004.
18. S. E. Middleton, D. D. Roure, and N. R. Shadbolt. Ontology-based recommender systems. In Staab and Studer [24], pages 577-498.
19. Á. F. Moreira, R. Vieira, and R. H. Bordini. Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In Declarative Agent Languages and Technologies, Proceedings of the First International Workshop (DALT-03), held with AAMAS-03, 15 July, 2003, Melbourne, Australia, number 2990 in LNAI, pages 135-154, Berlin, 2004. Springer-Verlag.
20. P. F. Patel-Schneider. DLP system description. In E. Franconi, G. D. Giacomo, R. M. Mac-Gregor, W. Nutt, C. A. Welty, and F. Sebastiani, editors, Proceedings of the International Workshop in Description Logics 1998 (DL'98), pages 133-135, 1998.
21. G. Plotkin. A structural approach to operational semantics, 1981. Technical Report, Department of Computer Science, Aarhus University.
22. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde and J. Perram, editors, Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 22-25 January, Eindhoven, The Netherlands, number 1038 in LNAI, pages 42-55, London, 1996. Springer-Verlag.
23. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.
24. S. Staab and R. Studer, editors. Handbook on Ontologies. International Handbooks on Information Systems. Springer, 2004.
25. R. Stevens, C. Wroe, P. W. Lord, and C. A. Goble. Ontologies in bioinformatics. In Staab and Studer [24], pages 635-658.