Using the bottom clause and mode declarations in FOL theory revision from examples.

Ana Luísa Duboc Aline Paes Gerson Zaverucha

Published in: Mach. Learn. (2009)

Keyphrases

theory revision
knowledge base
knowledge representation
background knowledge
first order logic
horn clauses
feature selection
concept learning
data sets
artificial intelligence
prior knowledge
integrity constraints
object oriented databases
revision operators