Lparse Programs Revisited: Semantics and Representation of Aggregates.

Guohua Liu Jia-Huai You

Published in: ICLP (2008)

Keyphrases

stable models
stable model semantics
normal logic programs
logic programs
logic programming
answer set programming
propositional logic
fixpoint
default reasoning
artificial intelligence
answer set semantics
declarative programming
machine learning
search algorithm
formal semantics