Contextual terminologies

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

Volumn 3900 LNAI, Issue , 2006, Pages 284-302

  Grossi, Davide ^a   Dignum, Frank ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; FORMAL LOGIC; INFORMATION RETRIEVAL; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS;

COMMON DESCRIPTION LOGICS; CONTEXTUAL REPRESENTATIONS; INTRA-CONTEXTUAL REASONING; ONTOLOGIES;

MULTI AGENT SYSTEMS;

EID: 33745625135     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750734_16     Document Type: Conference Paper

References (22)

1. V. Akman and M. Surav. Steps toward formalizing context. AI Magazine, 17(3):55-72, 1996.
2. C. E. Alchourrón and E. Bulygin. Normative Systems. Springer Verlag, Wien, 1986.
3. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and F.F. Patel-Schneider. The Description Logic Handbook. Cambridge University Press, Cambridge, 2002.
4. M. Benerecetti, P. Bouquet, and C. Ghidini. Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12(3):279-305, 2000.
5. G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In L. Carlucci Aiello, J. Doyle, and S. Shapiro, editors, KR'96: Principles of Knowledge Representation and Reasoning, pages 316-327. Morgan Kaufmann, San Francisco, California, 1996.
6. F. Dignum. Agents, markets, institutions, and protocols. In Agent Mediated Electronic Commerce, The European AgentLink Perspective., pages 98-114. Springer-Verlag, 2001.
7. F. Dignum. Abstract norms and electronic institutions. In Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA '02), Bologna, pages 93-104, 2002.
8. C. Ghidini and F. Giunchiglia. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259, 2001.
9. C. Ghidini and F. Giunchiglia. A semantics for abstraction. In R. López de Mántaras and L. Saitta, editors, Proceedings of ECAI'2004, including PAIS 2004, pages 343-347, 2004.
10. D. Grossi, H. Aldewereld, J. Vázquez-Salceda, and F. Dignum. Ontological aspects of the implementation of norms in agent-based electronic institutions. In Proceedings of NorMAS'05, Symposium on normative multi-agent systems., pages 104-116, Hatfield, England, April 2005. AISB.
11. D. Grossi and F. Dignum. From abstract to concrete norms in agent institutions. In M. G. et al. Hinchey, editor, Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Lecture Notes in Computer Science, pages 12-29. Springer-Verlag, April 2004.
12. D. Grossi, F. Dignum, and J-J. Ch. Meyer. Context in categorization. In Proceedings of CRR '05, International Workshop on Context Representation and Reasoning, volume 136 of CEUR Workshop Proceedings, Paris, July 2005.
13. D. Grossi, F. Dignum, and J-J. Ch. Meyer. Contextual taxonomies. In J. Leite and P. Toroni, editors, Proceedings of CLIMA V Workshop, Lisbon, September, LNAI 3487, pages 33-51. Springer, 2005.
14. D. Grossi, J-J. Ch. Meyer, and F. Dignum. Modal logic investigations in the semantics of counts-as. In Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL'05), pages 1-9. ACM, June 2005.
15. A. J. I. Jones and M. Sergot. On the characterization of law and computer systems. Deontic Logic'in Computer Science, pages 275-307, 1993.
16. B. Jónsson and A. Tarski. Boolean algebras with operators: Part I. American Journal of Mathematics, 73:891-939, 1951.
17. J. McCarthy. Notes on formalizing contexts. In T. Kehler and S. Rosenschein, editors, Proceedings of the Fifth National Conference on Artificial Intelligence, pages 555-560, Los Altos, California, 1986. Morgan Kaufmann.
18. K. Schild. A correspondence theory for terminological logics: preliminary report. In Proceedings of IJCAI-91, 12th International Joint Conference on Artificial Intelligence, pages 466-471, Sidney, AU, 1991.
19. J. Searle. The Construction of Social Reality. Free Press, New York, 1995.
20. Y. Shoham. Varieties of context, pages 393-407. Academic Press Professional, Inc., 1991.
21. J. Vázquez-Salceda. The role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhuser Verlag AG, 2004.
22. J. Vázquez-Salceda and F. Dignum. Modelling electronic organizations. In J. Muller V. Marik and M. Pechoucek, editors, Proceedings CEEMAS'03. LNAI 2691, pages 584-593, Berlin, 2003. Springer-Verlag.