Handbook of Logic and Language. In Johan van Benthem, and Alice ter Meulen (Eds.), Handbook of Logic and Language, Elsevier, Amsterdam, 1997. [BibSonomy: logic linguistics]
Conceptual Graphs and Formal Concept Analysis. Proc. ICCS'97, 1997. [BibSonomy: logic] URL
Solving the Frame Problem. Solving the Frame Problem, MIT Press, Cambridge, MA, 1997. [BibSonomy: logic]
Inference Problems in ExtrAns: Quick Summary. August 1999. [BibSonomy: answer_extraction ambiguity logic]
An Ambiguous Logic. January 2000. [BibSonomy: ambiguity logic]
COGEX: A Logic Prover for Question Answering. Proc. HLT-NAACL 2003, 166-172, Edmonton, 2003. [BibSonomy: logic question_answering] URL
Logic for Problem Solving. The Computer Science Library, Artificial Intelligence Series, (7)North Holland, New York, Oxford, 1979. [BibSonomy: logic]
Logic without Model Theory. In D. Gabbay (Eds.), What is a Logical System?, Oxford University Press, 1995. [BibSonomy: logic] URL
Automated Reasoning with OTTER. Rinton Press, Paramus, NJ, 2001. [BibSonomy: logic]
Theorem-Proving by Resolution as a Basis for Question-Answering Systems. In Bernard Meltzer, and Donald Michie (Eds.), Machine Intelligence, (4):183-205, Edinburgh University Press, 1969. [BibSonomy: question_answering logic]
Automated Reasoning and Discourse Disambiguation. CLAUS-113February 2000. [BibSonomy: logic ambiguity] URL
Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables. 93-139C1993. [BibSonomy: logic]
Negation as failure. In Jack Minker (Eds.), Logic and Data Bases, (1):293-322, Plenum Press, New York, London, 1978. [BibSonomy: logic]
Logical Aspects of Computational Linguistics: an introduction. Logical Aspects of Computational Linguistics, First International Conference, LACL '96, (1328):1-20, Springer, 1997. [BibSonomy: computer linguistics logic]
Automated Reasoning for Computational Semantics. 1999. [BibSonomy: DRT logic] URL
Logic, Language, and Meaning. The University of Chicago Press, 1991. [BibSonomy: logic]