A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan - Erk - Document - PDFSEARCH.IO

First Page	Meta Content
	A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan Add to Reading List Document Date: 2015-01-12 20:53:04 Open Document File Size: 207,97 KB Share Result on Facebook City Introduction Logic / / Company Markov Logic Networks / / / Facility Katrin Erk University of Texas / Raymond Mooney University of Texas / Dan Garrette University of Texas / / IndustryTerm open source software / bank / / Organization University of Texas at Austin / / Person Van de Cruys / Katrin Erk / / Position Boxer for that sentence / Boxer / / ProgrammingLanguage Prolog / / ProvinceOrState Texas / / Technology artificial intelligence / / URL http / SocialTag Propositional calculus Logical consequence Model theory Inference First-order logic Predicate Function Entailment Vector space model Logic

A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lanAdd to Reading List