BibSonomy :: user  :: diego_ma ::

bookmarks

publications

(16)   

• 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 
• 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 
• Solving the Frame Problem
  Murray Shanaham MIT Press, Cambridge, MA, (1997)
  to logic by diego_ma on Dec 14, 2007, 2:46 AM
  BibTeX 
• Inference Problems in ExtrAns: Quick Summary
  Ian Pratt-Hartmann August1999. Draft for internal use only .
  to ambiguity answer_extraction logic by diego_ma on Dec 14, 2007, 2:45 AM
  BibTeX 
• An Ambiguous Logic
  Ian Pratt-Hartmann January2000. Draft .
  to ambiguity logic by diego_ma on Dec 14, 2007, 2:45 AM
  BibTeX 
• COGEX: A Logic Prover for Question Answering
  Dan Moldovan and Christine Clark and Sanda Harabagiu and Steve Maiorano Proc. HLT-NAACL 2003, page166-172. Edmonton, (2003)
  to logic question_answering by diego_ma and 1 other person on Dec 14, 2007, 2:43 AM
  URL | BibTeX 
• 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 
• 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 
• 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 
• 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 
• Automated Reasoning and Discourse Disambiguation
  Claire Gardent and Bonnie Webber CLAUS-113. CoLi Saarbrücken, February2000.
  to ambiguity logic by diego_ma on Dec 14, 2007, 2:39 AM
  URL | BibTeX 
• 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 
• 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 
• 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, volume1328ofLecture Notes in Computer Science, page1-20. Springer, (1997)
  to linguistics logic computer by diego_ma on Dec 14, 2007, 2:36 AM
  BibTeX 
• 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 logic DRT by diego_ma on Dec 14, 2007, 2:36 AM
  URL | BibTeX 
• 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