Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs.

Maurice Bruynooghe Gerda Janssens

Published in: META (1992)

Keyphrases

logic programs
logic programming
abstract interpretation
answer sets
answer set programming
stable models
information systems
fixpoint
prolog programs
databases
inductive logic programming
static analysis
stable model semantics
partial deduction
term rewriting systems