Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs.
Yuliya LierlerPublished in: CoRR (2019)
Keyphrases
- strong equivalence
- logic programs
- logic programming
- stable models
- answer set semantics
- prolog programs
- partial deduction
- answer sets
- answer set programming
- stable model semantics
- loop formulas
- fixpoint
- autoepistemic logic
- normal logic programs
- inductive logic programming
- functional programs
- argumentation frameworks
- semantics of logic programs
- classical logic
- argumentation semantics
- reasoning tasks
- general logic programs
- model theoretic
- artificial intelligence
- propositional logic
- computational complexity