Login / Signup

Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.

Ana Luísa DubocAline PaesGerson Zaverucha
Published in: ILP (2008)
Keyphrases
  • theory revision
  • knowledge base
  • knowledge representation
  • training examples
  • first order logic
  • machine learning
  • concept learning
  • natural language
  • spatial information
  • theorem prover