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