Moldovan, Dan
Clark, Christine
Harabagiu, Sanda
Maiorano, Steve
Edmonton
COGEX: A Logic Prover for Question Answering
Proc. HLT-NAACL 2003
166-172
2003
http://acl.ldc.upenn.edu/N/N03/N03-1022.pdf
Kalman, John A.
Paramus, NJ
Automated Reasoning with OTTER
2001
Rinton Press
Gardent, Claire
Webber, Bonnie
Automated Reasoning and Discourse Disambiguation
2000
CLAUS-113
February
http://www.coli.uni-sb.de/cl/claus/
Pratt-Hartmann, Ian
An Ambiguous Logic
2000
January
Draft
Blackburn, Patrick
Bos, Johan
Kohlhase, Michael
Automated Reasoning for Computational Semantics
1999
http://www.coli.uni-sb.de/\~bos/atp/doris-pubs.html
Draft of the paper at the Third International Tbilisi Symposium
Pratt-Hartmann, Ian
Inference Problems in ExtrAns: Quick Summary
1999
August
Draft for internal use only
Blackburn, Patrick
Dymetman, Marc
Lecomte, Alain
Ranta, Aarne
Retoré, Christian
de la Clergerie, Eric Villemonte
Logical Aspects of Computational Linguistics: an introduction
Logical Aspects of Computational Linguistics, First International Conference, LACL '96
1-20
1997
1328
Springer
Lecture Notes in Computer Science
Shanaham, Murray
Cambridge, MA
Solving the Frame Problem
Solving the Frame Problem
1997
MIT Press
van Benthem, Johan and ter Meulen, Alice
Amsterdam
Handbook of Logic and Language
Handbook of Logic and Language
1997
Elsevier
Wille, Rudolf
Conceptual Graphs and Formal Concept Analysis
Proc. ICCS'97
1997
http://www.int.gu.edu.au/kvo/reading/index.html
Kowalski, Robert
Gabbay, D.
Logic without Model Theory
What is a Logical System?
1995
http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html
Oxford University Press
Flax, Lee
Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables
1993
93-139C
Gamut, L. T. F.
Logic, Language, and Meaning
1991
The University of Chicago Press
Kowalski, Robert
New York, Oxford
Logic for Problem Solving
1979
7
North Holland
The Computer Science Library, Artificial Intelligence Series
Clark, Keith L.
Minker, Jack
New York, London
Negation as failure
Logic and Data Bases
293-322
1978
1
Plenum Press
Green, Cordell
Meltzer, Bernard and Michie, Donald
Theorem-Proving by Resolution as a Basis for Question-Answering Systems
Machine Intelligence
183-205
1969
4
Edinburgh University Press
11