Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CP
2005
Springer

favoriteEmaildiscussreport

117views Artificial Intelligence» more CP 2005»

A Linear-Logic Semantics for Constraint Handling Rules

13 years 6 months ago

A Linear-Logic Semantics for Constraint Handling Rules

Download www.uni-ulm.de

One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in ﬁrst-order predicate logic. However, the more CHR is used as a general-purpose programming language, the more the limitations of that kind of declarative semantics in modelling change become apparent. We propose an alternative declarative semantics based on (intuitionistic) linear logic, establishing strong theorems on both soundness and completeness of the new declarative semantics w.r.t. operational semantics.

Hariolf Betz, Thom W. Frühwirth

Real-time Traffic

Alternative Declarative Semantics | Artificial Intelligence | CP 2005 | Declarative Semantics | Programming Language |

claim paper

Related Content

» Semanticspreserving translations between linear concurrent constraint programming and cons...

» HYPROLOG A New Logic Programming Language with Assumptions and Abduction

» As time goes by Constraint Handling Rules

» A semantic web approach to handling soft constraints in virtual organisations

» LFG Semantics via Constraints

» Adaptive Query Formulation to Handle Database Evolution

» FLUX A Logic Programming Method for Reasoning Agents

» An Active ObjectOriented Database A MultiParadigm Approach to Constraint Management

» Expressiveness of Multiple Heads in CHR

Post Info
More Details (n/a)

Added	13 Oct 2010
Updated	13 Oct 2010
Type	Conference
Year	2005
Where	CP
Authors	Hariolf Betz, Thom W. Frühwirth

Comments (0)