Safe beliefs for propositional theories.

Mauricio Osorio Juan Antonio Navarro Pérez José Arrazola

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

propositional theories
computational problems
computational properties
logic programs
answer sets
logic programming
belief revision
sat solvers
answer set semantics
decision making
constraint satisfaction problems
computational complexity
stable models