A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties.

Published in: PEPM (1992)

Keyphrases

logic programs
logic programming
answer set programming
extended logic programs
knowledge base
inductive logic programming
fixpoint
counter examples
answer sets
normal logic programs