Disjunctive Answer Set Programming via Satisfiability.
Yuliya LierlerPublished in: Answer Set Programming (2005)
Keyphrases
- qualitative spatial and temporal reasoning
- answer set programming
- answer sets
- disjunctive logic programs
- logic programs
- logic programming
- satisfiability problem
- reasoning tasks
- answer set semantics
- np complete
- constraint logic programming
- causal theories
- stable models
- phase transition
- answer set programs
- stable model semantics
- computational complexity
- tree decomposition
- decision procedures
- propositional logic
- reasoning problems
- knowledge representation
- fixpoint
- sat problem
- disjunctive logic programming
- artificial intelligence
- update semantics
- general purpose