Unifying Abduction and Deduction through Argumentation.
Emmanuelle DietzAntonis C. KakasPublished in: KoDis+CAKR@KR (2023)
Keyphrases
- inference rules
- abductive reasoning
- logic programming
- theorem proving
- automated deduction
- argumentation systems
- proof procedures
- causal networks
- background knowledge
- argumentation skills
- legal reasoning
- defeasible reasoning
- predicate invention
- argumentation semantics
- practical reasoning
- theorem prover
- argumentation theory
- agent communication
- conflict management
- deductive reasoning
- abstract argumentation
- prior knowledge
- evidential reasoning
- argumentation frameworks
- logic programs