Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
Mario Rodríguez-ArtalejoCarlos A. Romero-DíazPublished in: CoRR (2010)
Keyphrases
- general purpose
- proof theoretic
- fixpoint
- constraint logic programming
- model theoretic
- logic programs
- deductive databases
- logic programming
- proof theory
- nonmonotonic reasoning
- constraint solving
- finite state machines
- default reasoning
- answer set programming
- answer sets
- integrity constraints
- linear logic
- operational semantics
- temporal reasoning
- database
- horn clauses
- machine learning