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