Keyphrases
- default reasoning
- default theories
- nonmonotonic logics
- formal semantics
- default logic
- default rules
- modal operators
- machine learning
- proof theory
- probabilistic reasoning
- expressive power
- semantic information
- conceptual model
- graphical representation
- semantic representation
- high level
- speech acts
- information retrieval
- data mining
- neural network
- truth maintenance systems
- databases