Keyphrases
- expressive power
- wordnet
- modal logic
- word sense disambiguation
- mental models
- propositional calculus
- nonmonotonic logics
- propositional dynamic logic
- decision trees
- lexical semantics
- distinctive features
- classical logic
- inference rules
- proof theory
- epistemic logic
- conditional logic
- multiword
- database
- temporal logic
- data model
- multi agent
- case study
- artificial intelligence
- data sets