References

1

Varol Akman and Mehmet Surav. Steps toward formalizing context. AI Magazine, 17(3):55-72, 1996.

2

Varol Akman and Mehmet Surav. The use of situation theory in context modeling. Computational Intelligence, 13(3), 1997.

3

James F. Allen, Lenhart K. Schubert, George Ferguson, Peter Heeman, Chung Hee Hwang, Tsuneaki Kato, Marc Light, Nathaniel G. Martin, Bradford W. Miller, Massimo Poesio, and David R. Traum. A formalization of viewpoints. Journal of Experimental and Theoretical AI, 7:7-48, 1995.

4

Gianni Amati and Fiora Pirri. Contexts as relativized definitions: a formalization via fixed points. In Context in KR & NL, MIT, Cambridge, Mass., 1997. AAAI Fall Symposium.

5

Giuseppe Attardi and Maria Simi. Communication across viewpoints. Journal of Logic Language and Information, 1998.

6

Jon Barwise and John Perry. Situations and Attitudes. Cambridge: MIT Press, 1983.

7

David Ian Beaver. Presupposition. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language. Elsevier--MIT Press, 1997.

8

Patrick Blackburn and Maarten de Rijke. Specifying Syntactic Structures. CSLI Publications, 1997. Distributed by Cambridge University Press.

9

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

10

Sasa Buvac. Resolving lexical ambiguity using a formal theory of context. In Kees Van Deemter and Stanley Peters, editors, Semantic Ambiguity and Underspecification. CSLI Publications, 1996. Distributed by Cambridge University Press: CSLI Lecture Notes Number 55.

11

Sasa Buvac. Pragmatical considerations on logical ai. In Context in KR & NL, MIT, Cambridge, Mass., 1997. AAAI Fall Symposium.

12

Sasa Buvac, Vanja Buvac, and Ian A. Mason. Metamathematics of contexts. Fundamenta Informaticae, 23(3), 1995.

13

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.

14

Sasa Buvac and Megumi Kameyama. Introduction: Toward a unified theory of context? Journal of Logic Language and Information, 1998. Special issue on Context in Linguistics and AI.

15

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.

16

Brian F. Chellas. Modal Logic, an Introduction. Cambridge University Press, 1980.

17

A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures, and Languages, number 890 in Lecture Notes in Computer Science, pages 71-85. Springer Verlag, 1995. Also IRST-Technical Report 9312-01, IRST, Trento, Italy.

18

C. Collet, M. Huhns, and W. Shen. Resource integration using a large knowledge base in Carnot. IEEE Computer, 24(12):55-62, December 1991.

19

Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231-272, 1979.

20

David W. Etherington and James M. Crawford. Toward efficient default reasoning. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996.

21

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 on Information Gathering from Distributed, Heterogeneous Environments.

22

D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1 and Volume 4. Oxford University Press, 1993.

23

Dov Gabbay. Fibred semantics and the weaving of logics: Part I: Modal and intuitionistic logics. Journal of Symbolic Logic, 61(4):1057-1120, 1996.

24

Dov Gabbay and Rolf Nossum. Structured contexts with fibred semantics. In Proceedings of the International and Interdisciplinary Conference on Context, 1997.

25

F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345-364, 1993. 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.

26

F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29-70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.

27

C. Cordell Green. Theorem proving by resolution as a basis for question answering systems. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 4, pages 183-205. Edinburgh University Press, Edinburgh, Scotland, 1969.

28

Barbara J. Grosz and Candace L. Sidner. Attention, intention, and the structure of discourse. Computational Linguistics, 12:175-204, 1986.

29

R. V. Guha. Contexts: A Formalization and Some Applications. PhD thesis, Stanford University, 1991. Also technical report STAN-CS-91-1399-Thesis, and MCC Technical Report Number ACT-CYC-423-91.

30

Pat Hayes. The contextual ambiguity of ``context''. In Context in KR & NL, MIT, Cambridge, Mass., 1997. AAAI Fall Symposium.

31

D. J. Israel. On formal versus commonsense semantics. In Y. Wilks, editor, Theoretical Issues in Natural Language Processing. Lawrence Erlbaum Associates, Hillsdale, NJ, 1990.

32

Lucja Iwanska and Wlodek Zadrozny. Special issue on context in natural language processing. Computational Intelligence, 13(3), 1997.

33

Megumi Kameyama. Indefeasible semantics and defeasible pragmatics. In Makoto Kanazawa, Christopher Pinon, and Henriette de Swart, editors, Quantifiers, Deduction, and Context. CSLI, Stanford, CA, 1994. Also SRI International Technical Note 544 and CWI Report CS-R9441,1994.

34

Hans Kamp. A theory of truth and discourse representation. In J. Groenendijk, T. Janssen, and M. Stokhof, editors, Formal Methods in the Study of Language. Amsterdam: Mathematical Centre Tracts 135, 1981.

35

Jussi Ketonen and Joseph S. Weening. EKL--an interactive proof checker: User's reference manual. Technical report, Computer Science Department, Stanford University, Stanford, California, 1984.

36

Saul A. Kripke. Semantical considerations on modal logic. In Leonard Linsky, editor, Reference and Modality. Oxford University Press, 1971. Oxford Readings in Philosophy.

37

John McCarthy. Ascribing mental qualities to machines. In Martin Ringle, editor, Philosophical Perspectives in Artificial Intelligence. Humanities Press, 1979. Reprinted in [41].

38

John McCarthy. First order theories of individual concepts and propositions. In Donald Michie, editor, Machine Intelligence, volume 9. Edinburgh University Press, Edinburgh, 1979. Reprinted in [41].

39

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 [41].

40

John McCarthy. An example for natural language understanding and the AI problems it raises. In Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 355 Chestnut Street, Norwood, NJ 07648, 1990.

41

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

42

John McCarthy. Notes on formalizing context. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993.

43

John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463-502. Edinburgh University Press, Edinburgh, 1969. Reprinted in [41].

44

Christopher Menzel. Contexts and information. In The Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996. Preliminary report; updated versions available at http://philebus.tamu.edu/~cmenzel.

45

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

46

Nils J. Nilsson. Artificial Intelligence: A New Synthesis. Morgan Kaufmann, 1998.

47

Illah R. Nourbakhsh and Michael R. Genesereth. Making assumptions to simplify planning. Autonomous Robots, 1(3), 1996.

48

D. Perlis. Papers on context: Theory and practice. Fundamenta Informaticae, 23(3), 1995.

49

Dag Prawitz. Natural Deduction: A Proof-Theoretical Study. Almqvist & Wiksell Boktryckeri AB, Stockholm, Göteborg, Uppsala, 1965.

50

Elaine Rich and Kevin Knight. Artificial Intelligence. McGraw-Hill, Inc., 2 edition, 1991.

51

Stuart Russell and Peter Norvig. Artificial Intelligence, a Modern Approach. Prentice Hall, 1995.

52

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.

53

D. R. Smith, E. A. Parra, and S. J. Westfold. Synthesis of High-Performance Transportation Schedulers. Technical Report KES.U.95.1, Kestrel Institute, 1995. http://kestrel.edu/www/publications.html.

54

Robert Stalnaker. On the representation of context. Journal of Logic Language and Information, 1998.

55

Richmond H. Thomason. Some completeness results for modal predicate calculi. In Karel Lambert, editor, Philosophical Problems in Logic. D. Reidel Publishing Company/ Dordrecht-Holland, 1970. Synthese Library, Humanities Press, New York.

56

Richmond H. Thomason. Nonmonotonicity in linguistics. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language. Elsevier--MIT Press, 1997.

57

A. S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge University Press, 1996. Cambridge Tracts in Theoretical Computer Science 43.

58

Johan van Benthem. Exploring Logical Dynamics. CSLI Publications, 1996. Distributed by Cambridge University Press.

59

Johan van Benthem. Changing contexts and shifting assertions. In A. Aliseda, R.J. van Glabbeek, and D. Westerståhl, editors, Computing Natural Language, volume 81 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford University, 1998.

60

Richard W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13(1):133-176, 1980.

61

Richard W. Weyhrauch, Marco Cadoli, and Carolyn L. Talcott. Using abstract resources to control reasoning. Journal of Logic Language and Information, 1998.