| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Moldovan, D., Clark, C., Harabagiu, S. & Maiorano, S. | COGEX: A Logic Prover for Question Answering | 2003 | Proc. HLT-NAACL 2003 | inproceedings | URL |
| Kalman, J. A. | Automated Reasoning with OTTER | 2001 | book | ||
| Gardent, C. & Webber, B. | Automated Reasoning and Discourse Disambiguation | 2000 | techreport | URL | |
| Pratt-Hartmann, I. | An Ambiguous Logic | 2000 | misc | ||
| Blackburn, P., Bos, J. & Kohlhase, M. | Automated Reasoning for Computational Semantics | 1999 | misc | URL | |
| Pratt-Hartmann, I. | Inference Problems in ExtrAns: Quick Summary | 1999 | misc | ||
| Blackburn, P., Dymetman, M., Lecomte, A., Ranta, A., Retoré, C. & de la Clergerie, E. V. | Logical Aspects of Computational Linguistics: an introduction | 1997 | Logical Aspects of Computational Linguistics, First International Conference, LACL '96 | inproceedings | |
| Shanaham, M. | Solving the Frame Problem | 1997 | Solving the Frame Problem | book | |
| Handbook of Logic and Language | 1997 | Handbook of Logic and Language van Benthem, J. & ter Meulen, A. (ed.) |
book | ||
| Wille, R. | Conceptual Graphs and Formal Concept Analysis | 1997 | Proc. ICCS'97 | inproceedings | URL |
| Kowalski, R. | Logic without Model Theory | 1995 | What is a Logical System? Gabbay, D. (ed.) |
incollection | URL |
| Flax, L. | Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables | 1993 | techreport | ||
| Gamut, L. T. F. | Logic, Language, and Meaning | 1991 | book | ||
| Kowalski, R. | Logic for Problem Solving | 1979 | book | ||
| Clark, K. L. | Negation as failure | 1978 | Logic and Data Bases Minker, J. (ed.) |
incollection | |
| Green, C. | Theorem-Proving by Resolution as a Basis for Question-Answering Systems | 1969 | Machine Intelligence Meltzer, B. & Michie, D. (ed.) |
incollection |
Created by JabRef export filters on 17/02/2012 by the social publication management platform BibSonomy