A New Proof-Theoretical Linear Semantics for CHR.
Igor StéphanPublished in: ICLP (Technical Communications) (2018)
Keyphrases
- constraint handling rules
- proof theory
- complete axiomatization
- formal semantics
- theorem prover
- logical rules
- precise definition
- logic programming
- theoretical analysis
- theorem proving
- simple linear
- linear logic
- proof theoretic
- semantic information
- inference rules
- database
- programming language
- higher order logic
- information retrieval
- data sets