Moldovan, Dan ; Clark, Christine ; Harabagiu, Sanda ; Maiorano, Steve:
{COGEX}: A Logic Prover for Question Answering.
In: Proc. HLT-NAACL 2003.
Edmonton,
2003,
S. 166-172
Kalman, John A.:
Automated Reasoning with OTTER.
Paramus, NJ
: Rinton Press,
2001
Gardent, Claire ; Webber, Bonnie
; CoLi Saarbr{{\"u}}cken (Hrsg.):
Automated Reasoning and Discourse Disambiguation.
CLAUS-113,
2000
Pratt-Hartmann, Ian: An Ambiguous Logic,
2000. -
Draft
Blackburn, Patrick ; Bos, Johan ; Kohlhase, Michael: Automated Reasoning for Computational Semantics,
1999. -
Draft of the paper at the Third International Tbilisi Symposium
Pratt-Hartmann, Ian: Inference Problems in {ExtrAns}: Quick Summary,
1999. -
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.
1328.
In: Logical Aspects of Computational Linguistics, First International Conference, LACL '96
: Springer,
1997
(Lecture Notes in Computer Science),
S. 1-20
Shanaham, Murray:
Solving the Frame Problem.
Cambridge, MA
: MIT Press,
1997
van Benthem, Johan (Bearb.) ; ter Meulen, Alice (Bearb.):
Handbook of Logic and Language.
Amsterdam
: Elsevier,
1997
Wille, Rudolf:
Conceptual Graphs and Formal Concept Analysis.
In: Proc. ICCS'97,
1997
Kowalski, Robert ; Gabbay, D. (Bearb.):
Logic without Model Theory
In: What is a Logical System?
: Oxford University Press,
1995
Flax, Lee
; Macquarie University (Hrsg.):
Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables.
93-139C,
1993
Gamut, L. T. F.:
Logic, Language, and Meaning
: The University of Chicago Press,
1991
Kowalski, Robert:
Logic for Problem Solving.
7.
New York, Oxford
: North Holland,
1979
(The Computer Science Library, Artificial Intelligence Series)
Clark, Keith L. ; Minker, Jack (Bearb.):
Negation as failure
In: Logic and Data Bases.
1.
New York, London
: Plenum Press,
1978,
S. 293-322
Green, Cordell ; Meltzer, Bernard (Bearb.) ; Michie, Donald (Bearb.):
Theorem-Proving by Resolution as a Basis for Question-Answering Systems
In: Machine Intelligence.
4
: Edinburgh University Press,
1969,
S. 183-205