Keyphrases
- nonmonotonic logics
- inference rules
- modal logic
- valued semantics
- expressive power
- default logic
- epistemic logic
- consistent query answering
- propositional logic
- search algorithm
- nonmonotonic reasoning
- social networks
- proof procedures
- information retrieval
- default reasoning
- conditional logic
- propositional dynamic logic
- truth values
- database
- classical logic
- integrity constraints
- evolutionary algorithm
- artificial intelligence
- learning algorithm
- real world
- neural network