Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation.
Ofer ArieliKees van BerkelChristian StraßerPublished in: AAAI (2024)
Keyphrases
- proof theoretic
- nonmonotonic reasoning
- defeasible reasoning
- model theoretic
- default reasoning
- proof theory
- legal reasoning
- practical reasoning
- argumentation systems
- logic programming
- defeasible logic
- default logic
- constraint logic programming
- fixpoint
- belief revision
- argumentation schemes
- linear logic
- probabilistic logic
- argumentation frameworks
- logic programs
- deductive databases
- description logics
- logical framework
- ontology languages
- probabilistic reasoning
- reasoning problems
- proof procedure
- formal semantics
- decision procedures
- cut elimination