Varieties of contexts

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2680, Issue , 2003, Pages 164-177

  Guha, R ^a   McCarthy, John ^b  

^a IBM ALMADEN RESEARCH CENTER   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMMUNICATION SYSTEMS; FORMAL LOGIC; IDENTIFICATION (CONTROL SYSTEMS); INFORMATION ANALYSIS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; ARTIFICIAL INTELLIGENCE;

CORPUS; GLOBAL FRAMES; LIFTING RULES; PEANO'S AXIOMS; MENTAL STATE; PRACTICAL USE; USAGE PATTERNS;

ARTIFICIAL INTELLIGENCE; KNOWLEDGE REPRESENTATION;

EID: 8344219617     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44958-2_14     Document Type: Conference Paper

References (21)

1. Saul Amarel. On representation of problems of reasoning about action. In Donald Michie, editor, Machine Intel. 3, pages 131-171. Edinburgh Univ. Press, 1971.
2. J. Barwise and J. Perry. Situations and Attitudes. MIT Press, 1983.
3. Massimo Beneceretti, Paolo Bouquet, and Chiara Ghidini. On the dimensions of context dependence: Partiality, approximation, and perspective. In Modeling and Using Context, pages 59-72. Springer-Verlag, Berlin, 2001.
4. Sasa Buvač. Quantificational logic of context. In Howard Shrobe and Ted Senator, editors, AAAI 1996, pages 600-606, Menlo Park, California, 1996. AAAI Press.
5. Sasa Buvač. Ambiguity via formal theory of context. Available from http://wwwformal.stanford.edu/buvac., 1995.
6. Saša Buvač and Ian Mason. Propositional logic of context. In AAAI, pages 412-419, 1993.
7. Tom Costello and John McCarthy. Useful counterfactuals. Linköping Electronic Articles in Computer and Information Science, 4(12), 1999.
8. Chiara Ghidini and Fausto Giunchiglia. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259, 2000.
9. Ramanathan V. Guha. Contexts: a formalization and some applications. Technical Report STAN-CS-91-1399, Stanford CS Dept., Stanford, CA, 1991.
10. P. Hayes and C. Menzel. A semantics for the knowledge interchange format.
11. Patrick J. Hayes. Contexts in context. In Sasa Buvač and Lucia Iwańska, editors, AAAI Fall Symposium on Context, pages 71-81, Menlo Park, CA, 1997. AAAI.
12. Douglas B. Lenat and R. V. Guha. Building Large Knowledge-based Systems: Representation and Inference in the Cyc Project. Addison-Wesley, 1990.
13. John McCarthy. Applications of circumscription to formalizing common sense knowledge. In Vladimir Lifschitz, editor, Formalizing Common Sense: Papers by John McCarthy, pages 198-225. Ablex Publishing Corporation, Norwood, New Jersey, 1990.
14. John McCarthy. Generality in artificial intelligence. In Vladimir Lifschitz, editor, Formalizing Common Sense: Papers by John McCarthy, pages 226-236. Ablex Publishing Corporation, Norwood, New Jersey, 1990.
15. John McCarthy. Notes on formalizing contexts. In Ruzena Bajcsy, editor, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 555-560, San Mateo, California, 1993. Morgan Kaufmann.
16. John McCarthy and Saša Buvac. Formalizing context (expanded notes). Available from http://www-formal.stanford.edu/buvac., 1995.
17. P. Pandurang Nayak. Representing multiple theories. In B. Hayes-Roth and R. Korf, editors, AAAI-94, pages 1154-1160, Menlo Park, CA, 1994.
18. N.J.Nilsson and M. Genesereth. Logical Foundations of Artificial Intelligence. Addison-Wesley, 1987.
19. W.V.O. Quine. Propositional Objects. Columbia Univ. Press, 1969.
20. R.M.Keller, M. Rimon, and A. Das. A knowledge based prototyping environment for construction of scientific modeling software. Automated Software Engineering, 1994.
21. Yoav Shoham. Varieties of context. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 393-407. Academic Press, San Diego, 1991.