BibSonomy :: user  :: diego_ma ::

bookmarks

publications

• 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 person on Dec 14, 2007, 2:49 AM
  BibTeX | spam 
• Conceptual Graphs and Formal Concept Analysis
  Rudolf Wille Proc. ICCS'97, (1997)
  to logic by diego_ma and 3 other people on Dec 14, 2007, 2:48 AM
  URL | BibTeX | spam 
• Solving the Frame Problem
  Murray Shanaham MIT Press, Cambridge, MA, (1997)
  to logic by diego_ma on Dec 14, 2007, 2:46 AM
  BibTeX | spam 
• 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 | spam 
• An Ambiguous Logic
  Ian Pratt-Hartmann January 2000. Draft .
  to ambiguity logic by diego_ma on Dec 14, 2007, 2:45 AM
  BibTeX | spam 
• COGEX: A Logic Prover for Question Answering
  Dan Moldovan and Christine Clark and Sanda Harabagiu and Steve Maiorano Proc. HLT-NAACL 2003, page 166-172. Edmonton, (2003)
  to logic question_answering by diego_ma and 1 other person on Dec 14, 2007, 2:43 AM
  URL | BibTeX | spam 
• Logic for Problem Solving
  Robert Kowalski The Computer Science Library, Artificial Intelligence Series North Holland, New York, Oxford, (1979)
  to logic by diego_ma on Dec 14, 2007, 2:41 AM
  BibTeX | spam 
• 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 | spam 
• 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 | spam 
• 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 | spam 
• 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 | spam 
• 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 | spam 
• Negation as failure
  Keith L. Clark Logic and Data Bases, 1, Plenum Press, New York, London, (1978)
  to logic by diego_ma on Dec 14, 2007, 2:37 AM
  BibTeX | spam 
• Logical Aspects of Computational Linguistics: an introduction
  Patrick Blackburn and Marc Dymetman and Alain Lecomte and Aarne Ranta and Christian Retor'e 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 | spam 
• Automated Reasoning for Computational Semantics
  Patrick Blackburn and 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 | spam 
• 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 | spam