BibSonomy :: user :: diego_ma ::

tag user group author concept BibTeX key search:all search:diego_ma

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(16)

<< < 1 > >>

Handbook of Logic and Language
Johan van Benthem, and Alice ter Meulen (Eds.). Elsevier, Amsterdam, (1997)
to logic linguistics by diego_ma and 1 other user on Dec 14, 2007, 2:49 AM
BibTeX (0)
Conceptual Graphs and Formal Concept Analysis
Rudolf Wille Proc. ICCS'97, (1997)
to logic by diego_ma and 3 other users on Dec 14, 2007, 2:48 AM
URL | BibTeX (0)
Solving the Frame Problem
Murray Shanaham MIT Press, Cambridge, MA, (1997)
to logic by diego_ma on Dec 14, 2007, 2:46 AM
BibTeX (0)
Inference Problems in ExtrAns: Quick Summary
Ian Pratt-Hartmann (August 1999)Draft for internal use only .
to answer_extraction ambiguity logic by diego_ma on Dec 14, 2007, 2:45 AM
BibTeX (0)
An Ambiguous Logic
Ian Pratt-Hartmann (January 2000)Draft .
to ambiguity logic by diego_ma on Dec 14, 2007, 2:45 AM
BibTeX (0)
COGEX: A Logic Prover for Question Answering
Dan Moldovan, Christine Clark, Sanda Harabagiu, and Steve Maiorano Proc. HLT-NAACL 2003, page 166-172. Edmonton, (2003)
to logic question_answering by diego_ma and 1 other user on Dec 14, 2007, 2:43 AM
URL | BibTeX (0)
Logic for Problem Solving
Robert Kowalski The Computer Science Library, Artificial Intelligence Series North Holland, New York, Oxford, (1979)
to logic by diego_ma and 1 other user on Dec 14, 2007, 2:41 AM
BibTeX (0)
Logic without Model Theory
Robert Kowalski What is a Logical System?, Oxford University Press, (1995)
to logic by diego_ma on Dec 14, 2007, 2:41 AM
URL | BibTeX (0)
Automated Reasoning with OTTER
John A. Kalman Rinton Press, Paramus, NJ, (2001)
to logic by diego_ma on Dec 14, 2007, 2:41 AM
BibTeX (0)
Theorem-Proving by Resolution as a Basis for Question-Answering Systems
Cordell Green Machine Intelligence, 4, chapter 11, Edinburgh University Press, (1969)
to question_answering logic by diego_ma on Dec 14, 2007, 2:39 AM
BibTeX (0)
Automated Reasoning and Discourse Disambiguation
Claire Gardent, and Bonnie Webber CLAUS-113. CoLi Saarbrücken, (February 2000)
to logic ambiguity by diego_ma on Dec 14, 2007, 2:39 AM
URL | BibTeX (0)
Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables
Lee Flax 93-139C. Macquarie University, (1993)
to logic by diego_ma on Dec 14, 2007, 2:38 AM
BibTeX (0)
Negation as failure
Keith L. Clark Logic and Data Bases, 1, Plenum Press, New York, London, (1978)
to logic by diego_ma and 1 other user on Dec 14, 2007, 2:37 AM
BibTeX (0)
Logical Aspects of Computational Linguistics: an introduction
Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, and Eric Villemonte de la Clergerie Logical Aspects of Computational Linguistics, First International Conference, LACL '96, volume 1328 of Lecture Notes in Computer Science, page 1-20. Springer, (1997)
to computer linguistics logic by diego_ma on Dec 14, 2007, 2:36 AM
BibTeX (0)
Automated Reasoning for Computational Semantics
Patrick Blackburn, Johan Bos, and Michael Kohlhase (1999)Draft of the paper at the Third International Tbilisi Symposium .
to DRT logic by diego_ma on Dec 14, 2007, 2:36 AM
URL | BibTeX (0)
Logic, Language, and Meaning
L. T. F. Gamut The University of Chicago Press, (1991)
to logic by diego_ma on Dec 14, 2007, 2:35 AM
BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100