Keyphrases
- inference rules
- truth values
- valued semantics
- inconsistent knowledge
- expressive power
- logic programming
- modal logic
- classical logic
- valued logic
- consistent query answering
- formal representation
- temporal knowledge
- default logic
- logical framework
- possibilistic logic
- decision procedures
- conditional logic
- high level
- default reasoning
- database
- machine learning
- databases
- propositional calculus
- real time