Inproceedings (Moldovan:2003:2)
Moldovan, D.; Clark, C.; Harabagiu, S. & Maiorano, S.
COGEX: A Logic Prover for Question Answering
2003, 166-172

Book (Kalman:2001)
Kalman, J. A.
Automated Reasoning with OTTER
Rinton Press, 2001

Techreport (Gardent:2000)
Gardent, C. & Webber, B.
Automated Reasoning and Discourse Disambiguation
CoLi Saarbrücken, 2000

Misc (Pratt:2000)
Pratt-Hartmann, I.
An Ambiguous Logic
2000

Misc (Blackburn:1999)
Blackburn, P.; Bos, J. & Kohlhase, M.
Automated Reasoning for Computational Semantics
1999

Misc (Pratt:1999)
Pratt-Hartmann, I.
Inference Problems in ExtrAns: Quick Summary
1999

Inproceedings (Blackburn:1997)
Blackburn, P.; Dymetman, M.; Lecomte, A.; Ranta, A.; Retoré, C. & de la Clergerie, E. V.
Logical Aspects of Computational Linguistics: an introduction
Springer, 1997, 1328, 1-20

Book (ShanahamBook:1997)
Shanaham, M.
Solving the Frame Problem
MIT Press, 1997

Book (vanBenthem:1997)
van Benthem, J. & ter Meulen, A. (ed.)
Handbook of Logic and Language
Elsevier, 1997

Inproceedings (Wille:1997)
Wille, R.
Conceptual Graphs and Formal Concept Analysis
1997

Incollection (Kowalski:1995)
Kowalski, R.
Gabbay, D. (ed.)
Logic without Model Theory
Oxford University Press, 1995

Techreport (Flax:1993)
Flax, L.
Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables
Macquarie University, 1993

Book (Gamut:1991)
Gamut, L. T. F.
Logic, Language, and Meaning
The University of Chicago Press, 1991

Book (Kowalski:1979)
Kowalski, R.
Logic for Problem Solving
North Holland, 1979, 7

Incollection (Clark:1978)
Clark, K. L.
Minker, J. (ed.)
Negation as failure
Plenum Press, 1978, 1, 293-322

Incollection (Green:1969)
Green, C.
Meltzer, B. & Michie, D. (ed.)
Theorem-Proving by Resolution as a Basis for Question-Answering Systems
11
Edinburgh University Press, 1969, 4, 183-205