Tableaux for structural abduction.

Ángel Nepomuceno-Fernández Francisco J. Salguero-Lamillar David Fernández-Duque

Published in: Log. J. IGPL (2012)

Keyphrases

structural information
database
prior knowledge
logic programming
modal logic
structural features
causal networks
structural models
genetic algorithm
image processing
image sequences
bayesian networks
artificial neural networks
evolutionary algorithm
structural analysis