Objective conception of context and its logic

Minds and Machines

Volumn 9, Issue 1, 1999, Pages 29-56

  Menzel, Christopher ^a  

^a TEXAS A AND M UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONTEXT SENSITIVE LANGUAGES; THEOREM PROVING;

SITUATION THEORY;

FORMAL LOGIC;

EID: 0033068860     PISSN: 09246495     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008390129138     Document Type: Article

References (49)

1. Adams, R. (1981), 'Actualism and Thisness', Synthese 49, 3-41.
2. Akman, V. and Surav, M. (1996), 'Steps toward Formalizing Context', AI Magazine 17(3), 55-72.
3. Akman, V. and Surav, M. (1996), 'The Use of Situation Theory in Context Modeling', Computational Intelligence 12(4), 427-438.
4. Antonelli, A. (1994), 'The Complexity of Revision', Notre Dame Journal of Formal Logic 35, 67-72.
5. Barwise, J. (1989), The Situation in Logic, CSLI Lecture Notes, Number 17, Stanford, California: CSLI Publications.
6. Barwise, J. and Perry, J. (1986), Situations and Attitudes, Cambridge, Massachusetts: Bradford Books/MIT Press.
7. Barwise, J. and Seligman, J. (1997). 'Information Flow: The Logic of Distributed Systems', Cambridge: Cambridge University Press.
8. Bealer, G. (1982), Quality and Concept, Oxford: Clarendon Press.
9. Bealer, C., and U. Mönnich (1989), 'Property Theories', in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 4, Dordrecht: D. Reidel.
10. Borgida, A., Brachman, R., McGuinness, D, and Resnick, L. (1989), 'CLASSIC: A Structural Data Model for Objects', in Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, 59-67.
11. Buvač, S. (1994), 'Quantificational Logic of Context', in Proceedings of the 13th National Conference on Artificial Intelligence.
12. Buvač, S., V. Buvač, and I. Mason (1995), 'Metamathematics of Context', Fundamenta Informaticae 23(3), 263-301.
13. Chierchia, G., Partee, B. and Turner, R. (eds.) (1989), Properties, Types, and Meaning, Volume I, Foundational Issues, Dordrecht: Kluwer Academic Publishers.
14. Chierchia G. and Turner, R. (1988), 'Semantics and Property Theory', Linguistics and Philosophy 11, 261-302.
15. Devlin, K. (1991), Logic and Information, Cambridge, UK: Cambridge University Press.
16. Dowty, D., Wall, R., and Peters, S.. (1981), Introduction to Montague Semantics, Dordrecht: D. Reidel Publishing Company.
17. Enderton, H. (1972), A Mathematical Introduction to Logic, New York: Academic Press.
18. Fox, M. S., and Grüninger, M. (1994), 'Ontologies for Enterprise Integration', in Proceedings of the 2nd Conference on Cooperative Information Systems
19. Giunchiglia, F. (1993), 'Contextual Reasoning', Epistemologia 16, 345-364.
20. Gruber, T.R. (1995), 'Toward Principles for the Design of Ontologies Used for Knowledge Sharing', International Journal of Human and Computer Studies 43(5/6), 7-928.
21. Guarino, N. (1995), 'Formal Ontology, Conceptual Analysis and Knowledge Representation', International Journal of Human and Computer Studies 43(5/6), 625-640.
22. Guarino, N. (ed.) (1998), Formal Ontology in Information Systems: Proceedings of the 1st International Conference, Amsterdam: IOS Press.
23. Gupta, A. (1982), 'Truth and Paradox', Journal of Philosophical Logic 11, 1-60.
24. Herzberger, H. (1982), 'Notes on Naive Semantics', Journal of Philosophical Logic 11, 61-102.
25. Kremer, P. (1993), 'The Gupta-Belnap systems S# and S* are not Axiomatisable', Notre Dame Journal of Formal Logic 34, 583-596.
26. Kripke, S. (1972), Naming and Necessity, Cambridge, Massachusetts: Harvard University Press.
27. Kripke, S. (1975), 'Outline of a Theory of Truth', The Journal of Philosophy 72, 690-716.
28. Lewis, D. (1986), On the Plurality of Worlds, Oxford: Basil Blackwell.
29. McCarthy, J. (1979), 'First-order Theories of Individual Concepts and Propositions', in Michie, D. (ed.) Machine Intelligence, Edinburgh: Edinburgh University Press.
30. McCarthy, J. (1987), 'Generality in Artificial Intelligence', Communications of the ACM 30(12), 1030-1035.
31. McCarthy, J. (1993), 'Notes on Formalizing Context', in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence.
32. McCarthy, J., and Buvač, S. (1998), 'Formalizing Context (Expanded Notes)', in Aliseda A., R. van Glabeek, and D. Westersthhl (eds), Computing Natural Language, CSLI Lecture Notes, vol. 81, Stanford University: CSLI Publications.
33. MacGregor, M. (1991), 'Using a Description Classifier to Enhance Deductive Inference', Proceedings of the Seventh IEEE Conference on AI Applications, 141-147.
34. Menzel, C. (1990), 'Actualism, Ontological Commitment, and Possible World Semantics', Synthese 85, 355-389.
35. Menzel, C. (1991), 'The True Modal Logic', Journal of Philosophical Logic 20, 331-374.
36. Menzel, C. (1993), 'Singular Propositions and Modal Logic', Philosophical Topics 21, 113-148.
37. Menzel, C. (1997), 'Modeling Method Ontologies: A Foundation for Enterprise Model Integration', in Grüninger, M. and Farquhar, A. (eds.), Ontological Engineering: Papers from the 1997 AAAI Spring Symposium, Menlo Park: AAAI Press, Technical Report SS-97-06, 73-83.
38. Menzel, C., and Mayer, R. (1998), 'The IDEF Family of Languages', in Bernus, P. Mertins, K., and Schmidt, G. (eds.), Handbook on Architectures for Information Systems, New York: Springer-Verlag.
39. Menzel, C. Mayer, R., and Sanders, L. (1993), 'Representation, Information Flow, and Model Integration', in Petrie (1993), 131-141.
40. Neches, R., Fikes, R., Finin, T., Gruber, T., Patil, R., Senator, T., and Swartout, W.R. (1991), 'Enabling Technology for Knowledge Sharing', AI Magazine 12(3), 36-56.
41. Petrie, A. C. (ed.) (1993), Enterprise Model Integration: Proceedings of the First International Conference, Cambridge, Massachusetts: MIT Press.
42. Plantinga, A. (1983), 'On Existentialism', Philosophical Studies 44, 1-20.
43. Prior, A.N. (1957), Time and Modality, Oxford: Oxford University Press.
44. Quine, W.V.O. (1981), 'On the Individuation of Attributes', reprinted in Theories and Things, Cambridge, Massachusetts.: Harvard University Press, 100-112.
45. Salmon, N. (1986), Frege's Puzzle, Cambridge, Massachusetts: MIT Press/Bradford Books.
46. Shapiro, S. (1991), Foundations without Foundationalism: A Case for Second-order Logic, Oxford: Clarendon Press.
47. Soames, S. (1987), 'Direct Reference, Propositional Attitudes, and Semantic Content', Philosophical Topics 15, 47-87.
48. Turner, R. (1987), 'A Theory of Properties,' Journal of Symbolic Logic 52, 455-472.
49. Zalta, E. (1988), Intensional Logic and the Metaphysics of Intentionality, Cambridge, Massachusetts: MIT Press/Bradford Books.