SELP - A System for Studying Strong Equivalence Between Logic Programs.
Yin ChenFangzhen LinLei LiPublished in: LPNMR (2005)
Keyphrases
- strong equivalence
- logic programs
- logic programming
- stable models
- answer sets
- answer set semantics
- answer set programming
- fixpoint
- general logic programs
- autoepistemic logic
- inductive logic programming
- argumentation frameworks
- sufficient conditions
- reasoning tasks
- horn clauses
- classical logic
- normal logic programs
- argumentation semantics
- description logics
- general purpose