Learning the Time Complexity of Logic Programs.

Stephen H. Muggleton

Published in: AAIP (2005)

Keyphrases

logic programs
background knowledge
logic programming
answer sets
answer set programming
computational properties
inductive logic programming
fixpoint
stable models
refinement operators
prolog programs
predicate invention