Keyphrases
- defeasible logic
- probability theory
- causal reasoning
- logic programming
- cooperative
- theoretical framework
- modal operators
- formal logic
- deontic logic
- predicate logic
- classical logic
- multi valued
- modal logic
- data sets
- databases
- propositional theories
- proof theory
- sound and complete axiomatization
- causal theories
- closed world assumptions
- logical formulas
- dynamic logic
- asynchronous circuits
- digital circuits
- automated reasoning