On the dimensions of context dependence: Partiality, approximation, and perspective

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

Volumn 2116, Issue , 2001, Pages 59-72

  Benerecetti, Massimo ^a   Bouquet, Paolo ^b   Ghidini, Chiara ^c  

^a UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BASIC ELEMENTS; CONTEXT DEPENDENCES; CONTEXT DEPENDENT; CONTEXTUAL REASONING; MULTI-CONTEXT SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84942926025     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44607-9_5     Document Type: Conference Paper

References (22)

1. G. Attardi and M. Simi. A formalisation of viewpoints. Fundamenta Informaticae, 23(2–4):149–174, 1995.
2. M. Benerecetti, P. Bouquet, and C. Ghidini. Formalizing Belief Reports–The Approach and a Case Study. In Proc. of the 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, volume 1480 of LNAI, Springer, 1998.
3. M. Benerecetti, P. Bouquet, and C. Ghidini. Contextual Reasoning Distilled. Journal of Theoretical and Experimental Artificial Intelligence, 12(3):279–305, 2000.
4. P. Bouquet and F. Giunchiglia. Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. Fundamenta Informaticae, 23(2–4):247–262, 1995.
5. S. Buvaˇc and I. A. Mason. Propositional logic of context. Proc. of the 11th National Conference on Artificial Intelligence, pages 412–419, 1993.
6. A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In Intelligent Agents: Proceedings of ATAL’94, number 890 in LNCS. Springer, 1995.
7. J. Dinsmore. Partitioned Representations. Kluwer Academic Publishers, 1991.
8. G. Fauconnier. Mental Spaces: aspects of meaning construction in natural language. MIT Press, 1985.
9. C. Ghidini and F. Giunchiglia. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence, To Appear.
10. C. Ghidini and L. Serafini. Distributed First Order Logics. In Frontiers Of Combining Systems 2, Studies in Logic and Computation. Research Studies Press, 1998.
11. C. Ghidini and L. Serafini. Information Integration for Electronic Commerce. In Proceedings of the Workshop on Agent Mediated Electronic Trading (AMET’98), volume 1571 of LNAI. Springer Verlag, 1998.
12. F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, 14:345–364, 1993.
13. F. Giunchiglia and P. Bouquet. Introduction to contextual reasoning. An Artificial Intelligence perspective. In Perspectives on Cognitive Science. NBU Press, Sofia, 1997.
14. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.
15. F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 548–554, Chambery, France, 1993.
16. R.V. Guha. Contexts: a Formalization and some Applications. Technical Report ACT-CYC-423-91, MCC, Austin, Texas, 1991.
17. J. E. Laird, A. Newell, and P.S. Rosenbloom. Soar: An architecture for general intelligence. Artificial Intelligence, 33(3):1–4 64, 1987.
18. D. Lewis. Index, Context, and Content. In S. Kranger and S. Ohman, editors, Philosophy and Grammar, pages 79–100. D. Reidel Publishing Company, 1980.
19. J. McCarthy. Overcoming an Unexpected Obstacle. Unpublished, 1991.
20. J. McCarthy. Notes on Formalizing Context. In Proc. of the 13th International Joint Conference on Artificial Intelligence, 1993.
21. Dan Sperber and Deirdre Wilson. Relevance. Communication and Cognition. Basil Blackwell, 1986.
22. R.W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13(1):133–176, 1980.