References

Ama68

Saul Amarel. On representations of problems of reasoning about actions. In Donald Michie, editor, Machine Intelligence 3, volume 3, pages 131-171. Elsevier/North-Holland, Amsterdam, London, New York, 1968.

AS95

Giuseppe Attardi and Maria Simi. A formalization of viewpoints. Fundamenta Informaticae, 23(3), 1995.

BBM95

S. Buvac, V. Buvac, and I. A. Mason. Metamathematics of contexts. Fundamenta Informaticae, 23(3), 1995.

BF95

Sasa Buvac and Richard Fikes. A declarative formalization of knowledge translation. In Proceedings of the ACM CIKM: The 4th International Conference on Information and Knowledge Management, 1995.

BM96

Sasa Buvac and John McCarthy. Combining planning contexts. In Austin Tate, editor, Advanced Planning Technology-Technological Achievements of the ARPA/Rome Laboratory Planning Initiative. AAAI Press, 1996.

Buv96a

Sasa Buvac. Quantificational logic of context. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996.

Buv96b

Sasa Buvac. Resolving lexical ambiguity using a formal theory of context. In Kees van Deemter and Stanley Peters, editors, Semantic Ambiguity and Underspecification. CSLI Lecture Notes, 1996.

FDFP95

Adam Farquhar, Angela Dappert, Richard Fikes, and Wanda Pratt. Integrating information sources using context logic. Technical Report KSL-95-12, Knowledge Systems Laboratory, Stanford University, 1995. Also appears in the 1995 AAAI Spring Symposium Series on Information Gathering from Distributed, Heterogeneous Environments.

FEFP95

Richard Fikes, Robert Engelmore, Adam Farquhar, and Wanda Pratt. Network-based information brokers. Technical Report KSL-95-13, Knowledge Systems Laboratory, Stanford University, 1995. Also appears in the 1995 AAAI Spring Symposium Series on Information Gathering from Distributed, Heterogeneous Environments.

Gin87

M. L. Ginsberg. Readings in Non-monotonic Reasoning. Morgan Kaufmann, 1987.

GSGF93

F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-omniscient belief as context-based reasoning. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.

Guh91

R. V. Guha. Contexts: A Formalization and Some Applications. PhD thesis, Stanford University, 1991.

MA96

John McCarthy and Eyal Amir. Missionaries and cannibals: Making it elaboration tolerant. McCarthy Web page http://www-formal.stanford.edu/jmc/, 1996. Available as http://www-formal.stanford.edu/jmc/elaboration.html.

MB94

John McCarthy and Sasa Buvac. Formalizing Context (Expanded Notes). Technical Note STAN-CS-TN-94-13, Stanford University, 1994.

McC83

John McCarthy. Some expert systems need common sense. In Heinz Pagels, editor, Computer Culture: The Scientific, Intellectual and Social Impact of the Computer, volume 426. 1983. Available as http://www-formal.stanford.edu/jmc/someneed.html.

McC87a

J. McCarthy. Generality in artificial intelligence. Communications of the ACM, 30, 1987.

McC87b

John McCarthy. Generality in artificial intelligence. Comm. of ACM, 30(12):1030-1035, 1987. Also in ACM Turing Award Lectures, The First Twenty Years, ACM Press, 1987; and reprinted in [McC90].

McC90

John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 355 Chestnut Street, Norwood, NJ 07648, 1990.

McC93

John McCarthy. Notes on formalizing context. In Proc. Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93), 1993.

McC95

John McCarthy. Making robots conscious of their mental states. to appear, available on http://www-formal.stanford.edu/jmc/, 1995.

Nay94

P. Pandurang Nayak. Representing multiple theories. In Proceedings of the Twelfth National Conference on Artificial Intelligence, 1994.

Sho91

Yoav Shoham. Varieties of context. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, 1991.