: Tableaux and Resolution for Finite Abduction.

Fernando Soler-Toscano Ángel Nepomuceno-Fernández

Published in: JELIA (2006)

Keyphrases

high resolution
modal logic
logic programming
consequence finding
natural language
belief revision
case study
database systems
theorem proving
sampling rate
decision procedures
abductive reasoning
causal networks