Assertion based Inductive Verification Methods for Logic Programs.

Marco Comini Roberta Gori Giorgio Levi

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

logic programs
logic programming
inductive logic programming
term rewriting systems
counter examples
machine learning
search space
background knowledge
answer sets
fixpoint