On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP.
Victor W. MarekJeffrey B. RemmelPublished in: ICLP (2008)
Keyphrases
- proof theory
- normal logic programs
- default reasoning
- answer set programming
- logic programs
- stable models
- answer sets
- logic programming
- nonmonotonic reasoning
- stable model semantics
- proof theoretic
- answer set semantics
- belief revision
- reasoning problems
- reasoning tasks
- default logic
- fixpoint
- tree decomposition
- automated reasoning
- partial order
- probabilistic reasoning
- formal semantics
- machine learning
- np complete