Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs.
Jorge FandinnoVladimir LifschitzPublished in: KR (2023)
Keyphrases
- strong equivalence
- logic programs
- logic programming
- stable models
- general logic programs
- computational properties
- classical logic
- answer sets
- answer set semantics
- autoepistemic logic
- answer set programming
- fixpoint
- reasoning tasks
- normal logic programs
- horn clauses
- argumentation frameworks
- high level
- nonmonotonic reasoning
- modal logic
- sufficient conditions
- nonmonotonic logics
- model theoretic
- deductive databases
- programming language