Keyphrases
- deontic logic
- conditional logic
- logic programming
- multi valued
- predicate logic
- modal logic
- random field model
- case study
- multi agent systems
- conditional probabilities
- default reasoning
- propositional dynamic logic
- data mining
- nonmonotonic inference
- asynchronous circuits
- epistemic logic
- truth values
- probabilistic logic
- automated reasoning