Login / Signup
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