Login / Signup
The MENTLE Approach to Learning Heuristics for the Control of Logic Programs.
Elizabeth I. Hogger
Krysia Broda
Published in:
ML (1992)
Keyphrases
</>
logic programs
logic programming
background knowledge
answer set programming
stable models
inductive logic programming
answer sets
fixpoint
strong equivalence