Conference paper
Natural Language Processing Using Lexical and Logical Combinators
In
International Conference on Logic Programming
—
2006, pp. 444-446
Abstract
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.
| Language: | English |
|---|---|
| Publisher: | Springer Berlin Heidelberg |
| Year: | 2006 |
| Pages: | 444-446 |
| Proceedings: | International Conference on Logic Programming |
| ISBN: | 3540366350 , 3540366369 , 9783540366355 and 9783540366362 |
| Types: | Conference paper |
| DOI: | 10.1007/11799573_41 |
| ORCIDs: | Villadsen, Jørgen |
