Transaction Logic with Defaults and Argumentation Theories.
Paul FodorMichael KiferPublished in: ICLP (Technical Communications) (2011)
Keyphrases
- modal operators
- argumentation theory
- defeasible logic
- defeasible reasoning
- modal logic
- nonmonotonic logics
- default logic
- proof procedures
- argumentation semantics
- database
- argumentation systems
- situation calculus
- expressive power
- predicate logic
- legal reasoning
- argumentation frameworks
- multi valued
- causal theories
- inference rules
- classical logic
- logic programming
- logic based argumentation
- propositional theories
- concurrency control
- formal logic
- multi agent systems
- probability theory
- temporal logic
- proof procedure
- autoepistemic logic
- general theory
- abstract argumentation frameworks
- nonmonotonic reasoning
- theoretical framework
- defeasible argumentation
- association rules