A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
Michael FinkPublished in: CoRR (2010)
Keyphrases
- answer set programming
- logic programming
- causal theories
- logic programs
- answer sets
- classical logic
- constraint logic programming
- automated theorem proving
- reasoning tasks
- knowledge representation
- declarative programming
- deductive databases
- answer set programs
- stable models
- programming language
- stable model semantics
- knowledge base
- haplotype inference
- default logic
- disjunctive logic programming
- modal logic
- nonmonotonic reasoning
- inductive logic programming
- proof theory
- strong equivalence
- autoepistemic logic
- automated reasoning
- relational algebra
- derivation rules
- artificial intelligence