Unification And Explanation.

Erik Weber Maarten Van Dyck

Published in: Synth. (2002)

Keyphrases

higher order
abductive reasoning
causal explanation
theorem proving
explanation based learning
equational theories
database
databases
feature selection
web services
reinforcement learning
expert systems
mobile devices
management system
automated theorem proving
generating explanations