As time goes by: Constraint handling rules -- A survey of CHR research between 1998 and 2007

As time goes by: Constraint handling rules -- A survey of CHR research between 1998 and 2007 (2009)

Cached

Download Links

by Jon Sneyers , Peter Van Weert , Tom Schrijvers , Leslie De Koninck

Citations:

BibTeX

@MISC{Sneyers09astime,
    author = {Jon Sneyers and Peter Van Weert and Tom Schrijvers and Leslie De Koninck},
    title = {As time goes by: Constraint handling rules -- A survey of CHR research between 1998 and 2007},
    year = {2009}
}

Bookmark

OpenURL

Abstract

Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. CHR-related research has surged during the decade following the previous survey by FrÃ¼hwirth (1998). Covering more than 180 publications, this new survey provides an overview of recent results in a wide range of research areas, from semantics and analysis to systems, extensions and applications.

Citations

359	Theory and practice of constraint handling rules - Frühwirth - 1998
171	Constraint Handling Rules - Frühwirth - 2009
52	A theory of overloading - Stuckey, Sulzmann - 2005
49	The K.U.Leuven CHR System: Implementation and Application - Schrijvers, Demoen - 2004
48	Flux: A logic programming method for reasoning agents. Theory and Practice of Logic Programming - Thielscher - 2005
47	The computational power and complexity of Constraint Handling Rules - Sneyers, Schrijvers, et al. - 2009
46	Analyses, optimizations and extensions of Constraint Handling Rules - Schrijvers
41	The refined operational semantics of Constraint Handling Rules - Duck, Stuckey, et al. - 2005
40	Specification and Verification of Agent Interaction Protocols in a Logic-based System - ALBERTI, DAOLIO, et al.
39	Information Integration using Contextual Knowledge and Ontology Merging - Firat - 2003
37	Optimizing Compilation of Constraint Handling Rules - Holzbaur, Banda, et al. - 2001
34	Compliance verification of agent interaction: a logic-based software tool - Alberti, Gavanelli, et al. - 2006
32	Optimal union-find in Constraint Handling Rules - Schrijvers, Frühwirth
30	H.: An experimental CLP platform for integrity constraints and abduction - Abdennadher, Christiansen - 2000
28	Confluence and semantics of constraint simplification rules - Abdennadher, Frühwirth, et al. - 1999
28	CHR ∨ , a flexible query language - Abdennadher, Schütz - 1998
28	Specification and verification of agent interaction using social integrity constraints - Alberti, Gavanelli, et al. - 2004
28	A Prolog Constraint Handling Rules compiler and runtime system - Holzbaur, Frühwirth
27	Parallelizing union-find in Constraint Handling Rules using confluence - Frühwirth
25	Logical algorithms - Ganzinger, McAllester - 2002
25	L.: Application-specific constraints for multimedia presentation generation - Geurts, Ossenbruggen, et al. - 2001
25	Abstract interpretation for Constraint Handling Rules - Schrijvers, Stuckey, et al. - 2005
23	Compilation of Constraint Handling Rules - Duck - 2005
23	Compiling constraint handling rules into prolog with attributed variables - Holzbaur, Frühwirth - 1999
22	Adaptive constraint handling with CHR in Java - Wolf
21	A Linear-Logic Semantics for Constraint Handling Rules - Betz, Frühwirth - 2005
20	Probabilistic Constraint Handling Rules - Frühwirth, Pierro, et al. - 2002
19	Proving termination of constraint solver programs - Frühwirth - 1999
19	K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java - Weert, Schrijvers, et al. - 2005
18	Understanding functional dependencies via Constraint Handling Rules - Sulzmann, Duck, et al. - 2007
17	University course timetabling using Constraint Handling Rules - Abdennadher, Marte - 2000
17	User-definable rule priorities for CHR - Koninck, Schrijvers, et al.
17	Dijkstra’s algorithm with Fibonacci heaps: An executable description - Sneyers, Schrijvers, et al. - 2006
16	V.: HYPROLOG: A new logic programming language with assumptions and abduction - Christiansen, Dahl - 2005
15	Qualitative Spatial Reasoning: Theory and Practice — Application to Robot Navigation - Escrig, Toledo - 1998
15	Reasoning about actions with CHRs and finite domain constraints - Thielscher - 2002
14	Operational equivalence of CHR programs and constraints - Abdennadher, Frühwirth - 1999
14	Soft constraint propagation and solving in Constraint Handling Rules - Bistarelli, Frühwirth, et al. - 2004
14	Automatic Implication Checking for CHR Constraints - Schrijvers, Demoen, et al. - 2006
14	Constraint programming viewed as rule-based programming - Apt, Monfroy - 2001
13	Observable confluence for constraint handling rules - Duck, Stuckey, et al. - 2007
13	As time goes by: Automatic complexity analysis of simplification rules - Frühwirth
13	Compiling constraint handling rules for efficient tabled evaluation - Sarna-Starosta, Ramakrishnan - 2007
12	A Java Constraint Kit - Abdennadher, Krämer, et al.
12	Automatic generation of rule-based constraint solvers over finite domains - Abdennadher, Rigotti - 2004
12	ACD term rewriting - Duck, Stuckey, et al. - 2006
12	Extending CHR with negation as absence - Weert, Sneyers, et al. - 2006
11	Automatic Generation of CHR Constraint Solvers - Abdennadher, Rigotti - 2005
11	Answering queries in context - Bressan, Goh - 1998
11	Extending arbitrary solvers with constraint handling rules - Duck, Stuckey, et al. - 2003