Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs.
Yuliya LierlerPublished in: PADL (2019)
Keyphrases
- strong equivalence
- logic programs
- loop formulas
- general logic programs
- answer set programs
- stable models
- logic programming
- answer sets
- prolog programs
- answer set semantics
- answer set programming
- partial deduction
- stable model semantics
- horn clauses
- normal logic programs
- fixpoint
- functional programs
- background knowledge
- autoepistemic logic
- inductive logic programming
- argumentation frameworks
- semantics of logic programs
- argumentation semantics
- sufficient conditions
- propositional theories
- model theoretic
- reasoning tasks
- deductive databases
- nonmonotonic reasoning
- high level