• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

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

Cached

  • Download as a PDF

Download Links

  • [www.cs.kuleuven.be]
  • [lirias.kuleuven.be]
  • [www.cs.kuleuven.be]
  • [people.cs.kuleuven.be]
  • [www.cs.kuleuven.be]
  • [www.cs.kuleuven.ac.be]
  • [people.cs.kuleuven.be]
  • [people.cs.kuleuven.be]
  • [www.cs.kuleuven.be]
  • [www.cs.kuleuven.be]
  • [dtai.cs.kuleuven.be]
  • [www.cs.kuleuven.be]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Jon Sneyers , Peter Van Weert , Tom Schrijvers , Leslie De Koninck
Citations:11 - 9 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

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

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University