BibSonomy Output

Moldovan:2003:2

url

COGEX: A Logic Prover for Question Answering

Moldovan, D.; Clark, C.; Harabagiu, S. & Maiorano, S.

Proc. HLT-NAACL 2003

,

pp. 166-172

,

2003

Kalman:2001

Automated Reasoning with OTTER

Kalman, J. A.

Rinton Press

,

2001

Gardent:2000

url

Automated Reasoning and Discourse Disambiguation

Gardent, C. & Webber, B.

2000

Pratt:2000

An Ambiguous Logic

Pratt-Hartmann, I.

2000

Blackburn:1999

url

Automated Reasoning for Computational Semantics

Blackburn, P.; Bos, J. & Kohlhase, M.

1999

Pratt:1999

Inference Problems in ExtrAns: Quick Summary

Pratt-Hartmann, I.

1999

Blackburn:1997

Logical Aspects of Computational Linguistics: an introduction

Blackburn, P.; Dymetman, M.; Lecomte, A.; Ranta, A.; Retoré, C. & de la Clergerie, E. V.

Logical Aspects of Computational Linguistics, First International Conference, LACL '96

,

Vol. 1328

,

pp. 1-20

,

1997

ShanahamBook:1997

Solving the Frame Problem

Shanaham, M.

MIT Press

,

1997

vanBenthem:1997

Handbook of Logic and Language

Elsevier

,

1997

Wille:1997

url

Conceptual Graphs and Formal Concept Analysis

Wille, R.

Proc. ICCS'97

,

1997

Kowalski:1995

url

Logic without Model Theory

Kowalski, R.

1995

Flax:1993

Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables

Flax, L.

1993

Gamut:1991

Logic, Language, and Meaning

Gamut, L. T. F.

The University of Chicago Press

,

1991

Kowalski:1979

Logic for Problem Solving

Kowalski, R.

North Holland

,

1979

Clark:1978

Negation as failure

Clark, K. L.

Vol. 1

,

pp. 293-322

,

1978

Green:1969

Theorem-Proving by Resolution as a Basis for Question-Answering Systems

Green, C.

Vol. 4

,

pp. 183-205

,

1969