First-Order Theory Revision.

Bradley L. Richards Raymond J. Mooney

Published in: ML (1991)

Keyphrases

theory revision
knowledge base
concept learning
background knowledge
revision operators
knowledge based systems
domain theory
text mining
search engine
expert systems
training set
small number
event calculus