Set Based-Analysis of Logic Programs via Abstract Interpretation.

Giorgio Levi W. Volpi

Published in: APPIA-GULP-PRODE (1998)

Keyphrases

logic programs
stable models
logic programming
abstract interpretation
answer set programming
definite clause
static analysis
horn clauses
fixpoint
model checking
first order logic
inductive logic programming
deductive databases
orders of magnitude
stable model semantics
loop formulas
database applications