Preventing existence

Formal Ontology in Information Systems: Collected Papers from the Second International Conference

Volumn , Issue , 2001, Pages 162-173

  Condoravdi, Cleo ^a   Everett, John ^a   Stolle, Reinhard ^a   Crouch, Dick ^a   Paiva, Valeria ^a   Bobrow, Danny ^a   Van den Berg, Martin ^b  

^a PALO ALTO RESEARCH CENTER   (United States)

^b FX PALO ALTO LABORATORY   (United States)

Author keywords

Existence; Knowledge representation; Natural language semantics

Indexed keywords

KNOWLEDGE REPRESENTATION; LINGUISTICS; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS;

TENSIONAL LOGIC;

INFORMATION SCIENCE;

EID: 0035789197     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/505168.505184     Document Type: Conference Paper

References (17)

1. Brachman, R. J., D. L. McGuinness, and P. Patel-Schneider. Reducing classic to practice: Knowledge representation theory meets reality. Artificial Intelligence 114, 203-237, 1999.
2. Cocchiarella, N. B. Philosophical perspectives on quantification in tense and modal logics. In D. Gabbay & F. Guenthner (eds.) Handbook of Philosophical Logic, Vol II, 309-353, Reidel, Dordrecht, 1984.
3. van der Does, J. Applied Quantifier Logics: Collectives & Naked Infinitives. PhD thesis, University of Amsterdam, 1992.
4. Everett, A. and T. Hofweber (eds.). Empty Names, Fiction and the Puzzle of Non-Existence. CSLI Publications, Stanford, 2000.
5. Fine, K. Reasoning with Arbitrary Objects. Blackwell, Oxford, 1985.
6. Frege, G. On sense and reference, 1892. Reprinted in P. T. Geach & M. Black (eds), Translations from the Philosophical Writings of Gottlob Frege, Blackwell, Oxford, 1952.
7. Gärdenfors, P. and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. Proceedings 2nd Conference on Theoretical Aspects of Reasoning About Knowledge, 83-95, Morgan Kaufmann, San Francisco, 1988.
8. Hirst, G. Existence assumptions in knowledge representation. Artificial Intelligence 49, 199-242, May 1991.
9. Kaufmann, S. Aspects of the Meaning and Use of Conditionals. PhD thesis, Stanford University, 2001.
10. Kratzer, A. An investigation of the lumps of thought. Linguistics and Philosophy 12, 607-653, 1989.
11. Ladusaw, W. Polarity Sensitivity as Inherent Scope Relations. Garland, New York, 1980.
12. Lenat, D., R. V. Guha, K. Pittman, D. Pratt, and M. Shepherd. Cyc: Towards programs with common sense. Communications of the ACM 33(8), August 1990.
13. McCarthy, J. First order theories of individual concepts and propositions. In J. E. Hayes, D. Michie and L. I. Mikulich, Machine Intelligence 9, Ellis Horwood, Chichester, 1979.
14. J. McCarthy and S. Buvač. Formalizing context (expanded notes). In A. Aliseda, R. v. Glabbeek, and D. Westerståhl, editors, Computing Natural Language. CSLI Publications, Stanford, 1997.
15. Montague, R. Formal Philosophy. Selected Papers of Richard Montague. Yale University Press, 1974. Edited by R. Thomason.
16. Westerståhl, D. Quantifiers in formal and natural languages. In D. Gabbay & F. Guenthner (eds) Handbook of Philosophical Logic, Vol IV, 1-131, Reidel, Dordrecht, 1989.
17. Zimmermann, E. On the proper treatment of opacity in certain verbs. Natural Language Semantics 1, 149-179, 1993.