A Study of Generalisation in Logic Programs.

Published in: EWSL (1988)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
background knowledge
stable models
fixpoint
programming language
deductive databases
stable model semantics
functional programs