A Declarative Semantics for CLP with Qualification and Proximity
Mario Rodríguez-ArtalejoCarlos A. Romero-DíazPublished in: CoRR (2010)
Keyphrases
- declarative semantics
- logic programming language
- constraint logic programming
- logic programming
- logic programs
- deductive databases
- constraint solving
- answer set programming
- constraint programming
- inference rules
- temporal reasoning
- operational semantics
- fixpoint semantics
- situation calculus
- fixpoint
- nonmonotonic reasoning
- constraint propagation
- knowledge representation
- database systems
- knowledge base