An Approach to Abductive Reasoning in Equational Logic.
Mnacho EchenimNicolas PeltierSophie TourretPublished in: IJCAI (2013)
Keyphrases
- abductive reasoning
- inference rules
- theorem proving
- nonmonotonic reasoning
- logic programs
- causal inference
- logical representation
- probabilistic logic
- reasoning tasks
- natural language understanding
- plan recognition
- logic programming
- theorem prover
- horn clauses
- prime implicates
- equational theories
- answer set programming
- modal logic
- general purpose
- bayesian networks
- consequence finding
- knowledge base