Keyphrases
- expressive power
- inference rules
- modal logic
- linear programming
- coalition logic
- classical logic
- epistemic logic
- nonmonotonic logics
- decision procedures
- expert systems
- neural network
- temporal logic
- real time
- computational properties
- decision trees
- proof theory
- dual formulation
- knowledge representation formalisms
- proof procedures
- data sets