Login / Signup

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

Ana Luísa DubocAline PaesGerson Zaverucha
Published in: Mach. Learn. (2009)
Keyphrases