BibSonomyaparss/user/diego_ma/logicBibSonomy RSS feed for /user/diego_ma/logic2012-02-16T14:32:10+01:00http://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>1997</em>)<a href="http://www.bibsonomy.org/bibtex/222d964de109da0b8d35b3ca49fe1ef71/diego_ma"><i>Handbook of Logic and Language.</i></a><em>Handbook of Logic and Language, </em><em>Amsterdam, </em><em>Elsevier, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a> <a href="http://www.bibsonomy.org/user/diego_ma/linguistics">linguistics</a>]http://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>1997</em>)<a href="http://www.bibsonomy.org/bibtex/2874340941200b9df9767091999b0c1cf/diego_ma"><i>Conceptual Graphs and Formal Concept Analysis.</i></a><em>Proc. ICCS&#039;97, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>] <a href="http://www.int.gu.edu.au/kvo/reading/index.html">URL</a>http://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>1997</em>)<a href="http://www.bibsonomy.org/bibtex/26df0f2c563c819b0cfddbf6e0415b968/diego_ma"><i>Solving the Frame Problem.</i></a><em>Solving the Frame Problem, </em><em>Cambridge, MA, </em><em>MIT Press, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>)<a href="http://www.bibsonomy.org/bibtex/24a3ed337ae5b8a373287532a4a5b1182/diego_ma"><i>Inference Problems in ExtrAns: Quick Summary.</i></a> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/answer_extraction">answer_extraction</a> <a href="http://www.bibsonomy.org/user/diego_ma/ambiguity">ambiguity</a> <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>)<a href="http://www.bibsonomy.org/bibtex/21f7a09551f05f96b4f1020cc2a5a01c6/diego_ma"><i>An Ambiguous Logic.</i></a> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/ambiguity">ambiguity</a> <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>2003</em>)<a href="http://www.bibsonomy.org/bibtex/23949a92d86d7618e24afe4475ce674f2/diego_ma"><i>COGEX: A Logic Prover for Question Answering.</i></a><em>Proc. HLT-NAACL 2003, </em><em>page 166-172. </em><em>Edmonton, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a> <a href="http://www.bibsonomy.org/user/diego_ma/question_answering">question_answering</a>] <a href="http://acl.ldc.upenn.edu/N/N03/N03-1022.pdf">URL</a>http://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>1979</em>)<a href="http://www.bibsonomy.org/bibtex/265c646f1f4f9da82e59bb4fe0c21d83d/diego_ma"><i>Logic for Problem Solving.</i></a><em>New York, Oxford, </em><em>North Holland, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>1995</em>)<a href="http://www.bibsonomy.org/bibtex/2df0f6968a644569232e8f230aff987c2/diego_ma"><i>Logic without Model Theory.</i></a><em>What is a Logical System?, </em><em>Oxford University Press, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>] <a href="http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html">URL</a>http://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>2001</em>)<a href="http://www.bibsonomy.org/bibtex/213aa892455ef9ee8e5c517679b4f835f/diego_ma"><i>Automated Reasoning with OTTER.</i></a><em>Paramus, NJ, </em><em>Rinton Press, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>1969</em>)<a href="http://www.bibsonomy.org/bibtex/20980ffdcd2f500951a41509f27b9da4a/diego_ma"><i>Theorem-Proving by Resolution as a Basis for Question-Answering Systems.</i></a><em>Machine Intelligence, </em><em>page 183-205. </em><em>Edinburgh University Press, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/question_answering">question_answering</a> <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>February 2000</em>)<a href="http://www.bibsonomy.org/bibtex/200235e82cf2dfe48c19c18ccdf1d6df2/diego_ma"><i>Automated Reasoning and Discourse Disambiguation.</i></a> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a> <a href="http://www.bibsonomy.org/user/diego_ma/ambiguity">ambiguity</a>] <a href="http://www.coli.uni-sb.de/cl/claus/">URL</a>http://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>1993</em>)<a href="http://www.bibsonomy.org/bibtex/27ae38d908ea5e7f73c6c4192069a1896/diego_ma"><i>Application of the Hamming Distance Between Logical Formulae to Statistical Contingency Tables.</i></a> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>1978</em>)<a href="http://www.bibsonomy.org/bibtex/2d26f2af670588b3aab3c07dd37835058/diego_ma"><i>Negation as failure.</i></a><em>Logic and Data Bases, </em><em>page 293-322. </em><em>New York, London, </em><em>Plenum Press, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>1997</em>)<a href="http://www.bibsonomy.org/bibtex/2a3c500430521c25f5634c3f260d960b6/diego_ma"><i>Logical Aspects of Computational Linguistics: an introduction.</i></a><em>Logical Aspects of Computational Linguistics, First International Conference, LACL &#039;96, </em><em>page 1-20. </em><em>Springer, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/computer">computer</a> <a href="http://www.bibsonomy.org/user/diego_ma/linguistics">linguistics</a> <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]http://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>)<a href="http://www.bibsonomy.org/bibtex/2fc6cfd8b67b81d0e682c0c6c7bad06a2/diego_ma"><i>Automated Reasoning for Computational Semantics.</i></a> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/DRT">DRT</a> <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>] <a href="http://www.coli.uni-sb.de/{\~{}}bos/atp/doris-pubs.html">URL</a>http://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>1991</em>)<a href="http://www.bibsonomy.org/bibtex/283aae3c3263e8248ceb7bb175ceccf52/diego_ma"><i>Logic, Language, and Meaning.</i></a><em>The University of Chicago Press, </em> [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/diego_ma/logic">logic</a>]