On the Denotational and Logical Semantics of CLP-Modules.
B. McDonaldJ. XuM. EpsteinE. FreemanPublished in: ILPS (1993)
Keyphrases
- operational semantics
- model theoretic
- logical properties
- formal semantics
- logical rules
- constraint logic programming
- logical framework
- logical language
- logic programming language
- proof theoretic
- logic programming
- logical reasoning
- modular structure
- predicate calculus
- description logics
- logical theories
- dynamic logic
- neural network
- deductive databases
- building blocks
- functional modules
- logical representation
- constraint programming
- belief revision
- first order logic
- query language
- high level