On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality.

Marc Denecker Danny De Schreye

Published in: Theor. Comput. Sci. (1994)

Keyphrases

lightweight
main contribution
evolutionary algorithm
abductive reasoning
artificial intelligence
data structure
framework enables
belief revision
linear programming
feature space
real time
multiscale
bayesian networks
metadata
information systems
neural network
data sets