Login / Signup
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements.
Roberto Giacobazzi
Francesco Ranzato
Published in:
Inf. Comput. (1998)
Keyphrases
</>
logic programs
logic programming
stable models
answer sets
answer set programming
fixpoint
inductive logic programming
normal logic programs
fixpoint semantics
computational properties
strong equivalence
expressive power
formal semantics
update operators
logic program updates