Keyphrases
- modus ponens
- decision rules
- decision making
- modal logic
- logic programming
- decision trees
- proof theory
- decision makers
- automated reasoning
- decision process
- sound and complete axiomatization
- database
- epistemic logic
- making decisions
- set theory
- classical logic
- multi valued
- probability theory
- influence diagrams
- temporal logic
- decision problems
- programming language
- rough sets
- multi agent