Keyphrases
- expressive power
- communication systems
- proof theory
- database
- artificial intelligence
- inference rules
- propositional calculus
- communication networks
- genetic algorithm
- neural network
- model checking
- information technology
- decision trees
- decision making
- policy makers
- nonmonotonic logics
- epistemic logic
- real world
- user comments