Heyting Domains for Constraint Abduction.

Michael J. Maher

Published in: Australian Conference on Artificial Intelligence (2006)

Keyphrases

application domains
cross domain
data sets
abductive reasoning
database
real time
databases
real world
learning algorithm
complex domains
constraint solving