Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.
Chitta BaralJuraj DzifcakTran Cao SonPublished in: AAAI (2008)
Keyphrases
- answer set programming
- lambda calculus
- natural language sentences
- logic programming
- programming language
- natural language
- logic programs
- answer sets
- semantic analysis
- higher order
- classical logic
- parse tree
- context free grammars
- knowledge representation
- general purpose
- data management
- machine learning
- natural language processing