Abduction in PDT Logic.
Karsten MartinyRalf MöllerPublished in: Australasian Conference on Artificial Intelligence (2015)
Keyphrases
- logic programming
- abductive reasoning
- background knowledge
- classical logic
- probabilistic logic
- logic programs
- modal logic
- predicate logic
- logical implication
- causal networks
- digital circuits
- set theory
- reasoning tasks
- multi valued
- automated reasoning
- inference rules
- belief revision
- epistemic logic
- linear logic
- knowledge base
- natural deduction
- proof theory
- data mining