A Superposition Calculus for Abductive Reasoning.

Mnacho Echenim Nicolas Peltier

Published in: J. Autom. Reason. (2016)

Keyphrases

abductive reasoning
inference rules
logic programs
logical representation

reasoning tasks
causal inference
nonmonotonic reasoning
plan recognition

probabilistic logic
natural language understanding
theorem proving

prime implicates
first order logic
default reasoning