A declarative semantics for CLP with qualification and proximity.
Mario Rodríguez-ArtalejoCarlos A. Romero-DíazPublished in: Theory Pract. Log. Program. (2010)
Keyphrases
- declarative semantics
- logic programming language
- constraint logic programming
- logic programming
- deductive databases
- constraint solving
- logic programs
- answer set programming
- inference rules
- fixpoint semantics
- constraint programming
- situation calculus
- constraint propagation
- fixpoint
- operational semantics
- defeasible reasoning
- databases
- nonmonotonic reasoning
- global constraints
- theorem prover
- constraint satisfaction problems
- expert systems