Towards Simplification Logic for Graded Attribute Implications with General Semantics.
Pablo CorderoManuel EncisoAngel MoraVilém VychodilPublished in: CLA (2018)
Keyphrases
- logic programming
- special case
- alternating time temporal logic
- formal semantics
- proof theory
- conditional logic
- highly expressive
- closely related
- default reasoning
- sound and complete with respect
- propositional dynamic logic
- classical logic
- operational semantics
- nonmonotonic logics
- formal logic
- predicate calculus
- proof procedures
- abstract argumentation frameworks
- epistemic logic
- attribute values
- logical framework
- reasoning tasks
- first order logic