Keyphrases
- causal reasoning
- default logic
- nonmonotonic reasoning
- defeasible reasoning
- propositional logic
- causal models
- argumentation systems
- directed acyclic graph
- first order logic
- multi valued
- argumentation semantics
- logic programming
- bayes net
- modal logic
- dispute resolution
- satisfiability testing
- legal reasoning
- horn clauses
- practical reasoning
- fixed point
- social networks