![Predicate logic / Type theory / Logic in computer science / Computability theory / Lambda calculus / Combinatory categorial grammar / Quantifier / Combinatory logic / Parsing / Free variables and bound variables / Weight Predicate logic / Type theory / Logic in computer science / Computability theory / Lambda calculus / Combinatory categorial grammar / Quantifier / Combinatory logic / Parsing / Free variables and bound variables / Weight](https://www.pdfsearch.io/img/955ed3d9eb01b7ca8626faa51a8f1c14.jpg) Date: 2016-08-12 04:07:46Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight | | Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell UniversityAdd to Reading ListSource URL: yoavartzi.comDownload Document from Source Website File Size: 406,84 KBShare Document on Facebook
|