Rules and Strategies for Contextual Specialization of Constraint Logic Programs.
Fabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
- logic programs
- normal logic programs
- background knowledge
- logic programming
- answer set semantics
- answer sets
- extended logic programs
- strong equivalence
- horn clauses
- declarative semantics
- answer set programming
- existentially quantified
- fixpoint
- stable models
- fixpoint semantics
- partial deduction
- counter examples
- prolog programs
- inductive logic programming
- computational properties
- dl programs
- loop formulas
- linear constraints
- monotonicity constraints
- incomplete information
- logic program updates