We describe a Prolog implementation of the sequent calculus for the type theory Nabla that can make syntactical and semantical analyses of a fragment of natural language using combinators. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Ortiz, J. F., & Villadsen, J. (2006). Natural language processing using lexical and logical combinators. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4079 LNCS, pp. 444–446). Springer Verlag. https://doi.org/10.1007/11799573_41
Mendeley helps you to discover research relevant for your work.