Answer Sets for Propositional Theories.

Published in: LPNMR (2005)

Keyphrases

propositional theories
answer sets
answer set semantics
logic programs
logic programming
answer set programming
computational properties
fixpoint
stable models
sat solvers
expert systems
relational databases
deductive databases
computational problems