Natural language processing using lexical and logical combinators

Authors:
Juan Fernández Ortiz;Jørgen Villadsen
Affiliations:
Computer Science, Roskilde University, Roskilde, Denmark;Computer Science, Roskilde University, Roskilde, Denmark
Venue:
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Year:
2006

Citing 1
Cited 0

Combinators for Paraconsistent Attitudes

LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics

Quantified Score

Hi-index	0.00

Visualization

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.