Strategies for the Efficient Solution of Hybrid Constraint Logic Programs.
Stephan FrankPetra HofstedtDirk ReckmannPublished in: WLPE (2004)
Keyphrases
- logic programs
- logic programming
- answer sets
- answer set programming
- fixpoint
- stable models
- prolog programs
- inductive logic programming
- background knowledge
- term rewriting systems
- normal logic programs
- partial deduction
- optimal solution
- computational properties
- answer set semantics
- linear constraints
- exact solution
- strong equivalence
- recursive programs
- sufficient conditions
- high level
- logic program updates