Value-Based Practical Reasoning: Modal Logic + Argumentation.
Jieting LuoBeishui LiaoDov M. GabbayPublished in: COMMA (2022)
Keyphrases
- practical reasoning
- modal logic
- temporal logic
- inference rules
- legal cases
- transition systems
- argumentation semantics
- epistemic logic
- classical logic
- argumentation frameworks
- dynamic logic
- artificial intelligence
- nonmonotonic logics
- explanation based generalization
- conditional logic
- computational complexity
- modal operators
- situation calculus
- autoepistemic logic
- prime implicates
- formal specification
- sufficient conditions
- case based reasoning
- description logic alc