Ontological overhearing

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

Volumn 2333 LNAI, Issue , 2002, Pages 175-189

  Aiello, Marco ^a,b   Busetta, Paolo ^c   Doná, Antonia ^c   Serafini, Luciano ^c  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b UNIVERSITY OF TRENTO   (Italy)

^c ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; FORMAL LANGUAGES; ONTOLOGY; COMPUTATIONAL LINGUISTICS;

AGENT ARCHITECTURES; FORMAL ONTOLOGY; HUMAN INTERACTIONS; ONTOLOGICAL REASONING; TIME POINTS;

INTELLIGENT AGENTS;

EID: 33645600494     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45448-9_13     Document Type: Conference Paper

References (30)

1. Agent Oriented Software. JACK Intelligent Agents User Manual ver. 3.0, 2001. http://www.jackagents.com.
2. A. Artale and E. Franconi. A survey of temporal extensions of description logics. volume 30 (1-4). Kluwer Academic Publishers, 2001.
3. F. Baader, H. Burckert, J. Heinsohn, B. Hollunder, J. Muller, B. Nebel,W. Nutt, and H. Profitlich. Terminological knowledge representation: a proposal for a terminological logic. Technical report, DFKI, Saarbrucken, 1992.
4. F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. In IJCAI, pages 452-457, 1991.
5. R. Baeza-Yates and B. Ribeiro-Neto. Modern Information Retrieval. AddisonWesley, 1999.
6. M. V. Belmonte, C. Conejo, J. L. Pérez-de-la-Cruz, and F. Triguero. A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains. In J. J. Meyer and M. Tambe, editors, Intelligent Agents VIII. Agents Theories, Architectures, and Languages (ATAL) - 8th International Workshop, Seattle, Washington, USA, August 2001. Springer-Verlag. In this volume.
7. F. Bergenti and A. Poggi. LEAP: A FIPA Platform for Handheld and Mobile Devices. In J. J. Meyer and M. Tambe, editors, Agents Theories, Architectures, and Languages (ATAL) - 8th International Workshop, Seattle, Washington, USA, August 2001. Springer-Verlag. In this volume.
8. E. Blanzieri, P. Giorgini, P. Massa, and S. Recla. Implicit Culture for Multi-agent Interaction Support. In Proceedings of the Sixth International Conference on Cooperative Information Systems (CoopIS 2001), Trento, Italy, September 2001.
9. M. Boehlen, J. Chomicki, R. Snodgrass, and D. Toman. Querying TSQL2databases with temporal logic. In 5th International Conference on Extending Database Technology(EDBT), Avignon, 1996.
10. A. Borgida and P. Patel-Schneider. A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. Journal of Artificial Intelligence Research, 1:277-308, 1994.
11. F. Brandt and G.Weiss. Antisocial Agents andVickrey Auctions. In J. J.Meyer and M. Tambe, editors, Intelligent Agents VIII. Agents Theories, Architectures, and Languages (ATAL)-8th International Workshop, Seattle, Washington, USA, August 2001. Springer-Verlag. In this volume.
12. P. Busetta, L. Serafini, D. Singh, and F. Zini. Extending Multi-Agent Cooperation by Overhearing. In Proceedings of the Sixth International Conference on Cooperative Information Systems (CoopIS 2001), Trento, Italy, September 2001. ITC-irst Technical Report 0101-01.
13. P. R. Cohen, A. Cheyer, M.Wang, and S. C. Baeg. An open agent architecture. In Proceedings of the AAAI Spring Simposium on Software Agents, pages 1-8. AAAI Press, 1994.
14. C. Dixon, M. Fisher, and M. Wooldridge. Resolution for Temporal Logics of Knowledge. Journal of Logic and Computation, 8(3):345-372, 1998.
15. J. Doran, S. Franklin, N. Jennings, and T. Norman. On Cooperation in Multi-Agent Systems. The Knowledge Engineering Review, 12(3), 1997.
16. P. Faratin, M. Klein, H. Sayama, and Y. Bar-Yam. Simple negotiation agents in complex games. In J. J. Meyer and M. Tambe, editors, Intelligent Agents VIII. Agents Theories, Architectures, and Languages (ATAL) - 8th International Workshop, Seattle, Washington, USA, August 2001. Springer-Verlag. In this volume.
17. S. S. Fatima, M. Wooldridge, and N. R. Jennings. Optimal negotiation strategies for agents with incomplete information. In J. J. Meyer and M. Tambe, editors, Intelligent Agents VIII. Agents Theories, Architectures, and Languages (ATAL) - 8th International Workshop, Seattle, Washington, USA, August 2001. Springer-Verlag. In this volume.
18. T. Finin, Y. Labrou, and J. Mayfield. KQML as an agent communication language. In Jeff Bradshaw, editor, Software Agents. MIT Press, Cambridge, 1997.
19. Foundation for Intelligent Physical Agents. FIPA ACL Message Structure Specification, 2000. Document number 00061D. http://www.fipa.org/.
20. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319-379, 1992.
21. I. Horrocks. Using an expressive description logic: FaCT or fiction? In A. G. Cohn, L. Schubert, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning (KR'98), pages 636-647. Morgan Kaufmann Publishers, San Francisco, California, 1998.
22. M. Klusch, editor. Intelligent Information Systems. Springer-Verlag, 1999.
23. M. Laukkanen, S. Tarkoma, and J. Leinonen. FIPA-OS Agent for Small-footprint Devices. In J. J. Meyer and M. Tambe, editors, Intelligent Agents VIII. Agents Theories, Architectures, and Languages (ATAL) - 8th International Workshop, Seattle, Washington, USA, August 2001. Springer-Verlag. In this volume.
24. Metamata and Sun Microsystems. JavaCC Documentation, ver. 2.0, 2001. http://www.metamata.com/javacc/.
25. T. Oates, M. Prasad, andV. Lesser. Cooperative Information Gathering:ADistributed Problem Solving Approach. IEEE Proc. on Software Engineering, 144(1), 1997.
26. F. Sadri, F. Toni, and P. Torroni. Dialogues for negotiation: agent varieties and dialogue sequences. In J. J. Meyer and M. Tambe, editors, Intelligent Agents VIII. Agents Theories, Architectures, and Languages (ATAL) - 8th International Workshop, Seattle, Washington, USA, August 2001. Springer-Verlag. In this volume.
27. B. Salzberg and V. J. Tsotras. Comparison of Access Methods for Time-Evolving Data. Computing Surveys, 31(2):158-221, 1999.
28. M. Schmidt-Schau and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1-26, 1991.
29. Y. Venema. Temporal logics. In L. Goble, editor, Blackwell's Guide to Philosophical Logic. Basil Blackwell Publishers, Cambridge, MA, To appear.
30. F. Wolter and M. Zakharyaschev. Temporalizing description logics. In FroCoS'98, Amsterdam, 1998. Kluwer.