On the equivalence and range of applicability of graph-based representations of logic programs.
Stefania CostantiniOttavio M. D'AntonaAlessandro ProvettiPublished in: Inf. Process. Lett. (2002)
Keyphrases
- logic programs
- graph based representations
- strong equivalence
- logic programming
- answer set semantics
- graph theory
- answer sets
- fixpoint
- background knowledge
- stable models
- normal logic programs
- graph matching
- answer set programming
- partial deduction
- prolog programs
- computational properties
- inductive logic programming
- horn clauses
- logic program updates
- constraint satisfaction problems
- term rewriting systems
- stable model semantics
- classical logic
- deductive databases
- pairwise
- loop formulas
- nonmonotonic reasoning