Tight Semantics for Logic Programs.

Luís Moniz Pereira Alexandre Miguel Pinto

Published in: ICLP (Technical Communications) (2010)

Keyphrases

semantics for logic programs
logic programs
answer sets
open world
stable models
logic programming
fixpoint
lower bound
upper bound
normal logic programs
normal form
minimal models
closed world
machine learning
software engineering