Towards automated first-order abduction: the cut-based approach.

Published in: Log. J. IGPL (2012)

Keyphrases

higher order
semi automated
first order logic
fully automated
information systems
logic programming
automated analysis
causal networks
data sets
expert systems
computer aided
context sensitive
abductive reasoning