An Algebraic Representation of Logic-Program Computations.
Andrea CorradiniUgo MontanariPublished in: Computational Logic - Essays in Honor of Alan Robinson (1991)
Keyphrases
- logic programs
- answer sets
- logic programming
- answer set programming
- stable models
- fixpoint
- general logic programs
- normal logic programs
- background knowledge
- inductive logic programming
- logic program updates
- computational properties
- prolog programs
- partial deduction
- stable model semantics
- counter examples
- loop formulas
- declarative semantics
- horn clauses