BibSonomy publications for /user/diego_ma/logicBibSonomypublrss/user/diego_ma/logicBibSonomy RSS feed for /user/diego_ma/logic2012-02-16T12:18:58+01:00Handbook of Logic and Languagehttp://www.bibsonomy.org/bibtex/222d964de109da0b8d35b3ca49fe1ef71/diego_madiego_ma2007-12-14T02:49:28+01:00logic linguistics <span class="authorEditorList"><a href="/author/van Benthem">Johan van Benthem</a>, and <a href="/author/ter Meulen">Alice ter Meulen</a> (Eds.). </span><em>Elsevier, </em><em>Amsterdam, </em>(<em>1997</em>)Conceptual Graphs and Formal Concept Analysishttp://www.bibsonomy.org/bibtex/2874340941200b9df9767091999b0c1cf/diego_madiego_ma2007-12-14T02:48:14+01:00logic <span class="authorEditorList"><a href="/author/Wille">Rudolf Wille</a> </span><em>Proc. ICCS&#039;97, </em>(<em>1997</em>)Solving the Frame Problemhttp://www.bibsonomy.org/bibtex/26df0f2c563c819b0cfddbf6e0415b968/diego_madiego_ma2007-12-14T02:46:31+01:00logic <span class="authorEditorList"><a href="/author/Shanaham">Murray Shanaham</a> </span><em>MIT Press, </em><em>Cambridge, MA, </em>(<em>1997</em>)Inference Problems in ExtrAns: Quick Summaryhttp://www.bibsonomy.org/bibtex/24a3ed337ae5b8a373287532a4a5b1182/diego_madiego_ma2007-12-14T02:45:17+01:00answer_extraction ambiguity logic <span class="authorEditorList"><a href="/author/Pratt-Hartmann">Ian Pratt-Hartmann</a> </span>(<em>August 1999</em>)<em>Draft for internal use only . </em>An Ambiguous Logichttp://www.bibsonomy.org/bibtex/21f7a09551f05f96b4f1020cc2a5a01c6/diego_madiego_ma2007-12-14T02:45:16+01:00ambiguity logic <span class="authorEditorList"><a href="/author/Pratt-Hartmann">Ian Pratt-Hartmann</a> </span>(<em>January 2000</em>)<em>Draft . </em>COGEX: A Logic Prover for Question Answeringhttp://www.bibsonomy.org/bibtex/23949a92d86d7618e24afe4475ce674f2/diego_madiego_ma2007-12-14T02:43:30+01:00logic question_answering <span class="authorEditorList"><a href="/author/Moldovan">Dan Moldovan</a>, <a href="/author/Clark">Christine Clark</a>, <a href="/author/Harabagiu">Sanda Harabagiu</a>, and <a href="/author/Maiorano">Steve Maiorano</a> </span><em>Proc. HLT-NAACL 2003, </em><em>page 166-172. </em><em>Edmonton, </em>(<em>2003</em>)Logic for Problem Solvinghttp://www.bibsonomy.org/bibtex/265c646f1f4f9da82e59bb4fe0c21d83d/diego_madiego_ma2007-12-14T02:41:45+01:00logic <span class="authorEditorList"><a href="/author/Kowalski">Robert Kowalski</a> </span><em>The Computer Science Library, Artificial Intelligence Series </em><em>North Holland, </em><em>New York, Oxford, </em>(<em>1979</em>)Logic without Model Theoryhttp://www.bibsonomy.org/bibtex/2df0f6968a644569232e8f230aff987c2/diego_madiego_ma2007-12-14T02:41:44+01:00logic <span class="authorEditorList"><a href="/author/Kowalski">Robert Kowalski</a> </span><em>What is a Logical System?, </em><em>Oxford University Press, </em>(<em>1995</em>)Automated Reasoning with OTTERhttp://www.bibsonomy.org/bibtex/213aa892455ef9ee8e5c517679b4f835f/diego_madiego_ma2007-12-14T02:41:18+01:00logic <span class="authorEditorList"><a href="/author/Kalman">John A. Kalman</a> </span><em>Rinton Press, </em><em>Paramus, NJ, </em>(<em>2001</em>)Theorem-Proving by Resolution as a Basis for Question-Answering Systemshttp://www.bibsonomy.org/bibtex/20980ffdcd2f500951a41509f27b9da4a/diego_madiego_ma2007-12-14T02:39:32+01:00question_answering logic <span class="authorEditorList"><a href="/author/Green">Cordell Green</a> </span><em>Machine Intelligence, </em><em> 4, </em><em>chapter 11, </em><em>Edinburgh University Press, </em>(<em>1969</em>)Automated Reasoning and Discourse Disambiguationhttp://www.bibsonomy.org/bibtex/200235e82cf2dfe48c19c18ccdf1d6df2/diego_madiego_ma2007-12-14T02:39:14+01:00logic ambiguity <span class="authorEditorList"><a href="/author/Gardent">Claire Gardent</a>, and <a href="/author/Webber">Bonnie Webber</a> </span><em>CLAUS-113. </em><em>CoLi Saarbrücken, </em>(<em>February 2000</em>)Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tableshttp://www.bibsonomy.org/bibtex/27ae38d908ea5e7f73c6c4192069a1896/diego_madiego_ma2007-12-14T02:38:50+01:00logic <span class="authorEditorList"><a href="/author/Flax">Lee Flax</a> </span><em>93-139C. </em><em>Macquarie University, </em>(<em>1993</em>)Negation as failurehttp://www.bibsonomy.org/bibtex/2d26f2af670588b3aab3c07dd37835058/diego_madiego_ma2007-12-14T02:37:27+01:00logic <span class="authorEditorList"><a href="/author/Clark">Keith L. Clark</a> </span><em>Logic and Data Bases, </em><em> 1, </em><em>Plenum Press, </em><em>New York, London, </em>(<em>1978</em>)Logical Aspects of Computational Linguistics: an introductionhttp://www.bibsonomy.org/bibtex/2a3c500430521c25f5634c3f260d960b6/diego_madiego_ma2007-12-14T02:36:16+01:00computer linguistics logic <span class="authorEditorList"><a href="/author/Blackburn">Patrick Blackburn</a>, <a href="/author/Dymetman">Marc Dymetman</a>, <a href="/author/Lecomte">Alain Lecomte</a>, <a href="/author/Ranta">Aarne Ranta</a>, <a href="/author/Retoré">Christian Retoré</a>, and <a href="/author/de la Clergerie">Eric Villemonte de la Clergerie</a> </span><em>Logical Aspects of Computational Linguistics, First International Conference, LACL &#039;96, </em><em>volume 1328 of Lecture Notes in Computer Science, </em><em>page 1-20. </em><em>Springer, </em>(<em>1997</em>)Automated Reasoning for Computational Semanticshttp://www.bibsonomy.org/bibtex/2fc6cfd8b67b81d0e682c0c6c7bad06a2/diego_madiego_ma2007-12-14T02:36:15+01:00DRT logic <span class="authorEditorList"><a href="/author/Blackburn">Patrick Blackburn</a>, <a href="/author/Bos">Johan Bos</a>, and <a href="/author/Kohlhase">Michael Kohlhase</a> </span>(<em>1999</em>)<em>Draft of the paper at the Third International Tbilisi Symposium . </em>Logic, Language, and Meaninghttp://www.bibsonomy.org/bibtex/283aae3c3263e8248ceb7bb175ceccf52/diego_madiego_ma2007-12-14T02:35:04+01:00logic <span class="authorEditorList"><a href="/author/Gamut">L. T. F. Gamut</a> </span><em>The University of Chicago Press, </em>(<em>1991</em>)