Contextual reasoning distilled

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 12, Issue 3, 2000, Pages 279-305

  Benerecetti, M ^a   Bouquet, P ^a   Ghidini, C ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

Contextual reasoning; Dimensions of knowledge representation; Multicontext systems

Indexed keywords

EID: 0034422297     PISSN: 0952813X     EISSN: 13623079     Source Type: Journal    
DOI: 10.1080/09528130050111446     Document Type: Article

References (39)

1. Akman, V., and Surav, M., 1996, Steps toward formalizing context. AI Magazine, 17(3): 55-72.
2. Attardi, G., and Simi, M., 1995, A formalization of viewpoints. Fundamenta Informaticae, 23(2-4): 149-174.
3. Bar-Hillel, Y., 1954, Indexical expressions. Mind, 63: 359-379.
4. Barwise, J., 1986, Conditionals and conditional information. On Conditionals, edited by E. Traugott, C. Ferguson and J. Reilly, Cambridge: Cambridge University Press, pp. 21-54.
5. Barwise, J., and Perry, J., 1983, Situations and Attitudes (Cambridge, MA: MIT Press).
6. Benerecetti, M., Bouquet, P., and Ghidini, C., 1998, Formalizing belief report-the approach and a case study. Artificial Intelligence: Methodology, Systems, and Applications (AIMSA'98), Vol. 1480, Lecture Notes in Artificial Intelligence, edited by F. Giunchiglia (Berlin: Springer), pp. 62-75.
7. Bouquet, P., and Giunchiglia, F., 1995, Reasoning about theory adequacy: a new solution to the qualification problem. Fundamenta Informaticae, 23(2-4): 247-262. Also IRST-Technical Report 9406-13, IRST, Trento, Italy.
8. Bouquet, P., Serafini, L., Brezillon, P., Benerecetti, M., and Castellani, F. (eds), 1999, Modelling and Using Context-Proceedings of the 2nd International and Interdisciplinary Conference 9-11 September, Trento, Italy, Vol. 1688, Lecture Notes in Artificial Intelligence (Heidelberg Springer Verlag).
9. Buvac, S., and Mason, I. A., 1993, Propositional logic of context. Proceedings of the 11th National Conference on Artificial Intelligence, edited by R. Fikes and W. Lehnert (Menlo Park, California: American Association for Artificial Intelligence, AAAI Press), pp. 412-419.
10. Cimatti, A., and Serafini, L., 1995, Multi-agent reasoning with belief contexts: the approach and a case study. Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, No. 890, Lecture Notes in Computer Science, edited by N. R. Jennings and M. Wooldridge (Berlin: Springer Verlag), pp. 71-85. Also IRST-Technical Report 9312-01, IRST, Trento, Italy.
11. Dinsmore, J., 1991, Partitioned Representations (Dordrecht: Kluwer Academic Publishers).
12. Fauconnier, G., 1985, Mental Spaces: Aspects of Meaning Construction in Natural Language (Cambridge, MA: MIT Press).
13. Gabbay, D. M., 1996, Labelled Deductive Systems; Principles and Applications. Vol 1: Introduction, Vol. 33, Oxford Logic Guides, (Oxford: Oxford University Press).
14. Gabbay, D. M., and Nossum, R. T., 1997, Structured contexts with fibred semantics. Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), Rio de Janeiro, Brazil, pp. 46-55.
15. Ghidini, C., and Serafini, L., 2000, Distributed first order logics. Proceedings of the Second International Workshop on Frontiers of Combining Systems (FroCoS'98), Amsterdam, Holland: Research Studies Press.
16. Giunchiglia, F., 1993, Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, 16: 345-364. Short version in Proceedings IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39-49. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.
17. Giunchiglia, F., and Bouquet, P., 1997, Introduction to contextual reasoning: an artificial intelligence perspective. Perspectives on Cognitive Science, Vol. 3, edited by B. Kokinov (Sofia: NBU Press), pp. 138-159. Lecture Notes of a course on 'Contextual Reasoning' of the European Summer School on Cognitive Science, Sofia, 1996.
18. Giunchiglia, F., and Ghidini, C., 1998, Local models semantics, or contextual reasoning = locality + compatibility. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, (New York: Morgan Kaufmann), pp. 282-289. Short version presented at the AAAI Fall 1997 symposium on context in KR and NL. Also IRST-Technical Report 9701-07, IRST, Trento, Italy.
19. Giunchiglia, F., and Serafini, L., 1994, Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65: 29-70. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.
20. Giunchiglia, F., Serafini, L., Giunchiglia, E., and Frixione, M., 1993, Non-omniscient belief as context-based reasoning. Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambery, France, pp. 548-554. Also IRST-Technical Report 9206-03, IRST, Trento, Italy.
21. Guha, R., 1991, Contexts: a formalization and some applications. Technical Report ACT-CYC-423-91, MCC, Austin, Texas.
22. Hayes-Roth, B., 1991, Making intelligent systems adaptive. Architectures for Intelligence, edited by K. Van-Lehn, (Hillsdale, NJ: Lawrence Erlbaum Associates), pp. 301-321.
23. Kaplan, D., 1978, On the logic of demonstratives. Journal of Philosophical Logic, 8: 81-98.
24. Laird, J. E., Newell, A., and Rosenbloom, P., 1987, Soar: an architecture for general intelligence. Artificial Intelligence, 33(3): 1-464.
25. Lansky, A., 1991, Localized search for multiagent planning. Proceedings of the 12th International Joint Conference on Artificial Intelligence, pp. 252-258.
26. Lenat, D., 1999, The dimensions of context space. Technical report (CYCorp.), http://www.cyc.com/context-space. (rtf, doc, txt).
27. Lenat, D., and Guha, R., 1990, Building Large Knowledge-based Systems (Reading, MA: Addison-Wesley).
28. Lewis, D., 1970, General semantics. Synthese, 22: 18-67. Reprinted in Lewis (1983).
29. Lewis, D., 1980, Index, context, and content. Philosophy and Grammar, edited by S. Kranger and S. Ohman (Dordrecht: D. Reidel Publishing Company), pp. 79-100.
30. Lewis, D., 1983, Philosophical Papers (Oxford: Oxford University Press), two volumes.
31. McCarthy, J., 1980, Circumscription-a form of non-monotonic reasoning. Artificial Intelligence, 13(1,2): 27-39.
32. Lifschitz, V. (ed.), 1990, Formalizing Common Sense: papers by John McCarthy (Ablex Publ.), pp. 142-157.
33. McCarthy, J., 1987, Generality in artificial intelligence. Communications of ACM, 30(12): 1030-1035. Also in Lifschitz, V. (ed.), 1990, Formalizing Common Sense: papers by John McCarthy (Ablex Publ.), pp. 226-236.
34. McCarthy, J., 1993, Notes on formalizing context. Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambery, France, pp. 555-560.
35. Perry, J., 1997, Indexicals and demonstratives. Companion to the Philosophy of Language, edited by R. Hale and C. Wright (Oxford: Blackwell).
36. Sperber, D., and Wilson, D., 1986, Relevance: Communication and Cognition (Basil Blackwell).
37. Surav, M., and Akman, V., 1995, Modeling context with situations. Working Notes of the IJCAI-95 Workshop on "Modelling Context in Knowledge Representation and Reasoning", edited by P. Brezillon and S. Abu-Hakima, pp. 145-156.
38. Thomason, R., 1999, Type theoretic foundation for context, part 1: contexts as complex type-theoretic objects. Modeling and Using Context-Proceedings of the 2nd International and Interdisciplinary Conference, 9-11 September, Trento, Italy, Vol. 1688, Lecture Notes in Artificial Intelligence, edited by P. Bouquet, L. Serafini, P. Brezillon, M. Benerecetti and F. Castellani (Heidelberg: Springer Verlag), pp. 351-360.
39. Weyhrauch, R., 1980, Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13(1): 133-176.