Characterization of Strongly Equivalent Logic Programs in Intermediate Logics
Dick De JonghLex HendriksPublished in: CoRR (2002)
Keyphrases
- logic programs
- strong equivalence
- computational properties
- logic programming
- stable models
- answer sets
- classical logic
- autoepistemic logic
- background knowledge
- fixpoint
- logic program updates
- valued logic
- answer set programming
- inductive logic programming
- modal logic
- expressive power
- answer set semantics
- prolog programs
- term rewriting systems
- stable model semantics
- nonmonotonic logics
- partial deduction
- default logic
- semantic properties
- normal logic programs
- function symbols
- semantics of logic programs
- loop formulas
- reasoning tasks
- nonmonotonic reasoning
- horn clauses