Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery.

Moa Johansson Lucas Dixon Alan Bundy

Published in: Verification, Induction, Termination Analysis (2010)

Keyphrases

scientific discovery
dynamic environments
knowledge base
logic programs
reasoning systems
information systems
databases
data analysis
dynamically changing
discovery process
automated reasoning
knowledge acquisition
bayesian networks
decision trees
social networks
information retrieval
data mining