Contextual taxonomies

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

Volumn 3487 LNAI, Issue , 2005, Pages 33-51

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

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; PROBLEM SOLVING;

FORMAL CHARACTERIZATION; OPEN-TEXTURE; TAXONOMY;

COMPUTATIONAL COMPLEXITY;

EID: 26844498050     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11533092_3     Document Type: Conference Paper

References (33)

1. Dignum, F.: Agents, markets, institutions, and protocols. In: Agent Mediated Electronic Commerce, The European AgentLink Perspective., Springer-Verlag (2001) 98-114
2. Vázquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In V. Marik, J.M., Pechoucek, M., eds.: Proceedings CEEMAS'03. LNAI 2691, Berlin, Springer-Verlag (2003) 584-593
3. Dignum, F.: Abstract norms and electronic institutions. In: Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA '02), Bologna. (2002) 93-104
4. Vázquez-Salceda, J.: The role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhuser Verlag AG (2004)
5. Grossi, D., Dignum, F.: From abstract to concrete norms in agent institutions. In Hinchey, M.G., Rash, J.L., Truszkowski, W.F., et al., eds.: Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004. Lecture Notes in Computer Science, Springer-Verlag (2004) 12-29
6. McCarthy, J.: Notes on formalizing contexts. In Kehler, T., Rosenschein, S., eds.: Proceedings of the Fifth National Conference on Artificial Intelligence, Los Altos, California, Morgan Kaufmann (1986) 555-560
7. Akman, V., Surav., M.: Steps toward formalizing context. AI Magazine 17 (1996) 55-72
8. Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI) 12 (2000) 279-305
9. Searle, J.: The Construction of Social Reality. Free Press (1995)
10. Hage, J., Verheij, B.: The law as a dynamic interconnected system of states of affairs. IJHCS: International Journal of Human-Computer Studies 51 (1999) 1043-1077
11. Goldman, A.I.: A Theory of Human Action. Princeton University Press, Princeton (1976)
12. Hart, H.L.A.: The Concept of Law. Clarendon Press, Oxford (1961)
13. Hart, H.L.A.: Positivism and the separation of law and morality. Harvard Law Review 71 (1958) 593-629
14. Prakken, H.: Logical Tools for Modelling Legal Arguments. Kluwer (1997)
15. Royakkers, L., Dignum, F.: Defeasible reasoning with legal rules. In Nute, D., ed.: Defeasible Deontic Logic, Dordrecht, Kluwer (1997) 263-286
16. Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127 (2001) 221-259
17. Parsons, S., Jennings, N.J., Sabater, J., Sierra, C.: Agent specification using multi-context systems. Foundations and Applications of Multi-Agent Systems (2002)
18. Casali, A., Godo, L., Sierra, C.: Graded bdi models for agent architectures. In this volume.
19. Giunchiglia, F., Serafini, L.; Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence 65 (1994) 29-70
20. Giunchiglia, F.: Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine 16 (1993) 345-364
21. Buvač, S.V., Mason, I.A.: Prepositional logic of context. Proceedings AAAI'93 (1993) 412-419
22. Buvač, S., Buvač, S.V., Mason, I.A.: The semantics of prepositional contexts. Proceedings of the eight ISMIS. LNAI-869 (1994) 468-477
23. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
24. McCarthy, J.: Generality in artificial intelligence. Communications of the ACM 30 (1987) 1030-1035
25. Wygralak, M.: Vaguely Defined Objects. Kluwer Academic Publishers (1996)
26. Lin, T.Y., Cereone, N.: Rough Sets and Data Mining. Analysis of Imprecise Data. Kluwer Academic Publishers (1997)
27. Varzi, A.: Vague names for sharp objects. In Obrst, L., Mani, I., eds.: Proceedings of the Workshop on Semantic Approximation, Granularity, and Vagueness, AAAI Press (2000) 73-78
28. van Fraassen, B.C.: Singular terms, truth-value gaps, and free logic. Journal of Philosophy 63 (1966) 481-495
29. Lewis, D.: Many, but almost one. In: Papers in Metaphysics and Epistemology, Cambridge University Press (1999) 164-182
30. Fine, K.: Vagueness, truth and logic. Synthese 30 (1975) 265-300
31. Jones, A.J.I., Sergot, M.: A formal characterization of institutionalised power. Journal of the IGPL 3 (1996) 429-445
32. Grossi, D., Meyer, J-J. Gh., Dignum, F.: Modal logic investigations in the semantics of counts-as. (Submitted)
33. Grossi, D., Aldewereld, H., Vázquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. To be presented at NorMAS (2005)