Representing and reasoning with context

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

Volumn 1476, Issue , 1998, Pages 29-41

  Thomason, Richmond H ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS;

FOUNDATIONAL PROBLEMS; INTENSIONAL LOGIC; PAPER SURVEYS; PRIMITIVE TYPES; REASONING WITH CONTEXTS;

ARTIFICIAL INTELLIGENCE;

EID: 84961382162     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055900     Document Type: Conference Paper

References (31)

1. [AP97] Gianni Amati and Fiora Pirri. Contexts as relative definitions: A formalization via fixed points. In Sasa Buvae and Lucia Iwatiska, editors, Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language, pages 7-14, Menlo Park, California, 1997. American Association for Artificial Intelligence, American Association for Artificial Intelligence.
2. [BBM95] Saga Buvae, Vanja Buvae, and Ian Mason. Metamathematics of contexts. Fundamenta Mathematicae, 23(3), 1995. Available from http://www-formal.stanford.edu/buvac.
3. [BF95] Saga Buvae and Richard Fikes. A declarative formalization of knowledge translation. In Proceedings of the ACM CIKM: the Fourth International Conference in Information and Knowledge Management, 1995. Available from http://www-formal.stanford.edu/buvac.
4. [B197] Sasa Buvae and Lucia Iwatiska, editors. Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language. American Association for Artificial Intelligence, Menlo Park, California, 1997.
5. [Buv96] Saga Buvae. Resolving lexical ambiguity using a formal theory of context. In Kees van Deemter and Stanley Peters, editors, Semantic Ambiguity and Underspecification, pages 100-124. Cambridge University Press, Cambridge, England, 1996.
6. [Chu51] Alonzo Church. The need for abstract entities in semantic analysis. Proceedings of the American Academy of Arts and Sciences, 80:100-112, 1951.
7. [Cru95] D.A. Cruse. Polysemy and related phenomena from a cognitive linguistic viewpoint. In Patrick Saint-Dizier and Evelyne Viegas, editors, Computational Lexical Semantics, pages 33-49. Cambridge University Press, Cambridge, England, 1995.
8. [CS89] Herbert H. Clark and Michael Schober. Understanding by addressees and overhearers. Cognitive Psychology, 24:259-294, 1989.
9. [FHMV95] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning About Knowledge. The MIT Press, Cambridge, Massachusetts, 1995.
10. [Ga175] Daniel Gallin. Intensional and Higher-Order Logic. North-Holland Publishing Company, Amsterdam, 1975.
11. [GN97] Dov Gabbay and Rolf T. Nossum. Structured contexts with fibred semantics. In Sasa Buvae and Lucia Iwariska, editors, Working Papers of the AA AI Fall Symposium on Context in Knowledge Representation and Natural Language, pages 48-57, Menlo Park, California, 1997. American Association for Artificial Intelligence, American Association for Artificial Intelligence.
12. [GS91] Jeroen Groenendijk and Martin Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14:39-100, 1991.
13. [Guh91] Ramanathan V. Guha. Contexts: A formalization and some applications. Technical Report STAN-CS-91-1399, Stanford Computer Science Department, Stanford, California, 1991.
14. 36los and Michael Masuch, editors, Applied Logic: How, What, and Why? Logical Approaches to Natural Language, pages 79-120. Kluwer Academic Publishers, Dordrecht, 1995.
15. [Kap78] David Kaplan. On the logic of demonstratives. Journal of Philosophical Logic, 8:81-98, 1978.
16. [Kri75] Saul Kripke. Outline of a theory of truth. Journal of Philosophy, 72:690- 715, 1975.
17. [MB95] John McCarthy and Sasa Buvae. Formalizing context (expanded notes). Available from http://www-formal.stanford.edu/buvac., 1995.
18. [McC86] John McCarthy. Notes on formalizing contexts. In Tom Kehler and Stan Rosenschein, editors, Proceedings of the Fifth National Conference on Artificial Intelligence, pages 555-560, Los Altos, California, 1986. American Association for Artificial Intelligence, Morgan Kaufmann.
19. [McC93] John McCarthy. Notes on formalizing context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 81-98, Los Altos, California, 1993. Morgan Kaufmann.
20. [McC97] John McCarthy. Modality si! Modal logic, no! Studia Logica, 59(1):29-32, 1997.
21. [Mon63] Richard Montague. Syntactical treatments of modality, with corollaries on reflection principles and finite axiomatizability. Acta Philosophica Fennica, 16:153-167, 1963.
22. [Mon74] Richard Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven, CT, 1974.
23. [Mus96] Reinhard Muskens. Meaning and Partiality. Cambridge University Press, Cambridge, England, 1996.
24. [NL95] P. Pandurang Nayak and Alan Levy. A semantic theory of abstractions. In Chris Mellish, editor, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 196-203, San Francisco, 1995. Morgan Kaufmann.
25. [PB97] James Pustejovsky and Brian Boguraev, editors. Lexical Semantics: The Problem of Polysemy. Oxford University Press, Oxford, 1997.
26. [PH96] Barbara H. Partee and Herman L.W. Hendriks. Montague grammar In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language, pages 5-91. Elsevier Science Publishers, Amsterdam, 1996.
27. [Qui53] Willard V. Quine. Three grades of modal involvement. In Proceedings of the XIth International Congress of Philosophy, Volume 1.4, pages 65-81, 1953.
28. [Qui56] Willard V. Quine. Quantifiers and propositional attitudes. The Journal of Philosophy, 53:177-187, 1956.
29. [Sch94] David A. Schmidt. The Structure of Typed Programming Languages. The MIT Press, Cambridge, Massachusetts, 1994.
30. [WH90] D. Wright and P. Hull. How people give verbal instructions. Journal of Applied Cognitive Psychology, 4:153-174, 1990.
31. [You97] R. Michael Young. Generating Concise Descriptions of Complex Activities. Ph.d. dissertation, Intelligent Systems Program, University of Pittsburgh, Pittsburgh, Pennsylvania, 1997.