MC-TopLog: Complete Multi-clause Learning Guided by a Top Theory.

Stephen H. Muggleton Dianhuan Lin Alireza Tamaddoni-Nezhad

Published in: ILP (2011)

Keyphrases

information retrieval systems
information retrieval
clause learning
document collections
sat solvers
natural language
computational complexity
expert systems
satisfiability problem