Abduction as Deductive Saturation: a Proof-Theoretic Inquiry.
Mario PiazzaGabriele PulciniAndrea SabatiniPublished in: J. Philos. Log. (2023)
Keyphrases
- proof theoretic
- logic programming
- nonmonotonic reasoning
- default reasoning
- proof theory
- constraint logic programming
- linear logic
- belief revision
- fixpoint
- background knowledge
- model theoretic
- logic programs
- deductive databases
- cut elimination
- machine learning
- object oriented
- default logic
- natural deduction
- programming language
- artificial intelligence