Keyphrases
- formal theory
- set theory
- natural language processing
- proof theoretic
- commonsense reasoning
- higher level
- logic programming
- theoretical basis
- defeasible logic
- modal logic
- boolean algebra
- predicate logic
- logical framework
- data sets
- computational model
- logic programs
- information extraction
- natural language
- neural network