Login / Signup
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations.
Agostino Cortesi
Sabina Rossi
Baudouin Le Charlier
Published in:
APPIA-GULP-PRODE (2001)
Keyphrases
</>
logic programs
operational semantics
declarative semantics
logic programming
answer set programming
stable models
answer sets
model theoretic
computational properties
normal logic programs
database
email
inductive logic programming
fixpoint
partial deduction