Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited.

Published in: ICLP (Technical Communications) (2010)

Keyphrases

stable models
fixpoint
logic programs
normal logic programs
stable model semantics
logic programming
answer sets
answer set semantics
answer set programming
magic sets
database
declarative semantics
situation calculus
deductive databases
high level
artificial intelligence
databases