A Linear-Logic Semantics for Constraint Handling Rules.
Hariolf BetzThom W. FrühwirthPublished in: CP (2005)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- constraint handling rules
- logical framework
- intuitionistic logic
- fixed point
- cut elimination
- sequent calculus
- logic programs
- proof search
- desirable properties
- formal semantics
- reasoning tasks
- inference rules
- artificial intelligence
- model theoretic
- operational semantics
- machine learning
- probabilistic reasoning
- knowledge representation