The First FIFTY Applications using CHR
- Synthesis of Object Models from Partial Models, Paper available. Contact: Marco Alberti, Evelina Lamma elamma@deis.unibo.it
- Constraints for Multimedia Presentation Generation, Thesis available. Contact: Joost.Geurts@cwi.nl
- Typing Constraints and Typed Constraint Systems, Paper available. Contact: Francois.Fages@inria.fr
- Probabilistic CHR, Imperial College, London. Paper available. Contact: H. Wiklicky herbert@doc.ic.ac.uk
- Systematic Type System Design, University of Melbourne, Australia. Papers available. Contact: M. Sulzmann sulzmann@cs.mu.OZ.AU
- Dynamic CHR Constraints in Java, Software and Paper available. Contact: Armin.Wolf@first.fraunhofer.de
- Query Planning for Intelligent Information Integration,
Software and Paper available. Contact: Liviu Badea
and Doina Tilivea - JCK: CHR Constraints, Search and Visualisation in Java, Online-Demo, Software and Paper available. Contact: Slim.Abdennadher@informatik.uni-muenchen.de
- Fluent Calculus, Reasoning about Actions, Robotics, Paper available. Contact: Michael Thielscher mit@inf.tu-dresden.de
- Spatio-Temporal Annotated Constraint Logic Programming, Software and Paper available. Contact: Alessandra Raffaeta raffaeta@di.unipi.it
- Soft / Semi-Ring Constraints in CHR, Online-Demo, Software and Paper available. Contact: Stefano Bistarelli bista@di.unipi.it
- CHR for computational linguists, Abduction, Assumption Grammars, Online-Demo, Software and Paper available. Contact: Henning Christiansen henning@ruc.dk
- Type Inference with CHR, Paper available. Contact: Sandra Alves sandra@ncc.up.pt, Mario Florido amf@ncc.up.pt
- CHR for computational linguists, Property Grammars, HPSG, Paper available. Contact: Philippe Blache pb@lpl.univ-aix.fr, Frank Morawietz frank@sfs.nphil.uni-tuebingen.de
- Constraint Propagation for Arrays, Thesis available. Contact: Sebastian Brand, TU Dresden
- Deriving Parallel Codes via Invariants, Paper available. Contact: Wei-Ngan Chin Siau-Cheng
- CHR with Disjunction, Abduction, Bottom-up and Top-Down, Software and Paper available. Contact: Slim.Abdennadher@informatik.uni-muenchen.de
- Typed Interfaces to Compose CHR Programs, Paper available. Contact: Georg Ringwelski and Hans Schlenker gr@first.gmd.de, hs@first.gmd.de
- CHR and Harrop formulas, IRISA, Rennes, France. Paper available. Contact: Yoann Padioleau and Olivier.Ridoux@irisa.fr
- Checking Haskell Type Classes, University of Melbourne, Australia. Paper available. Contact: Peter Stuckey pjs@cs.mu.OZ.AU
- CHR for computational linguists, HPSG, Attribute Logic, Carnegie Mellon, Pittsburgh, USA. Paper available. Contact: Gerald Penn gpenn@andrew.cmu.edu
- Compositional Testing and Simulation, Technical University Munich, Germany. Paper available. Contact: Alexander Pretschner pretschn@in.tum.de
- Planning Software Agents, Siemens Munich, Germany, and University Linz, Austria. Thesis available. Contact: Stefan Hainzer and Bernhard.Bauer@mchp.siemens.de
- Topological, spatial, RCC constraint reasoning, Contact: Brandon Bennet and Anthony G. Cohn {brandon,agc}@scs.leeds.ac.uk
- Symbolic Analyzer for security policie that verifies the consistency between workflow specifications and security policies. INESC, Lisbon. Papers available. Contact: Carlos.Ribeiro@inesc.pt, Paulo Guedes
- Automatic Generation of Constraint Solvers, LMU Munich, Germany, 1995, Demo and paper available. Contact: Slim.Abdennadher@informatik.uni-muenchen.de
- Automatic Generation of Constraint Solvers, CWI Amsterdam, The Netherlands. Papers available. Contact: Eric.Monfroy@cwi.nl
- Intelligent Diagrammatic Environments, Monash University Melbourne, Australia. Papers available. Contact: Bernd.Meyer@acm.org
- Abstract Interpretation for CLP, Universite de La Reunion, France. Papers available. Contact: Frederic.Mesnard@univ-reunion.fr, Ulrich Neumerkel
- Automatic Generation of Test Data, J. Harm, University Rostock, Germany. Papers available. Contact: jh@informatik.uni-rostock.de
- The Intelligent Integration and Brokering of Information Project, S. Bressan and C.H. Goh, National University of Singapore. Papers available. Contact: {gohch,steph}@nus.edu.sg
- DemoII - a meta-logic programming system that covers a wide range of automated reasoning tasks including abduction and induction. Demo and papers available. Contact: Henning Christiansen henning@ruc.dk
- University Lecture Timetabling and Roomplanning, LMU Munich, Germany, Demo and papers available. Contact: Slim.Abdennadher@informatik.uni-muenchen.de
- Dynamic Constraints, Constraint Removal, award-winning PhD. Thesis, Armin Wolf, GMD FIRST, Berlin, Germany. Papers available. Contact: armin@prosun.first.gmd.de
- Spatial reasoning based on path consistency, Escrig Monferrer Maria Teresa and Francesco Toledo, Universidad Jaume I, Casellun, Spain, Book and Papers available. Contact: escrigm@vents.uji.es
- Eclipse ECH CHR Library, Software and Manuals available. Contact: Kish Shen and Joachim Schimpf, IC-Parc, London.
- The Context Interchange Project, Stuart Madnick, MIT Cambridge, USA. Papers available. Contact: context@mit.edu
- PMON, logic for modelling dynamical temporal systems with actions, change, observations and schedules, M. Bjareland and E. Sandewall, Linkoeping University, Sweden, Master Thesis, 1996. Contact: marbj@ida.liu.se
- ConTeS, Configuration of Technical Systems, using an executable specification languague, TRLC, shown at Leipzig Innovation Fair, September 1996, Armin Wolf, GMD FIRST, Berlin, Germany, Contact: armin@prosun.first.gmd.de
- Executable Z - Specifications, Peter Stuckey, University of Melbourne, Australia. Contact: pjs@cs.mu.oz.au, Philip Dart
- Morphological analysis of natural language, Juergen Oesterle, University of Munich, CIS, Germany. Contact: joe@cis.uni-muenchen.de
- Constraint logic programming for graphs, Diploma thesis in Czech, code available, Jan Dundacek, Czech Republic, June 1996. Contact: mzm@brno.ics.muni.cz
- Terminological logic decision algorithm, Liviu Badea, AI lab of the Research Institute for Informatics, Bucharest, Romania, 1996. Contact: badea@roearn.ici.ro
- Munich Rent Advisor, Expert system on the internet, ECRC and LMU Munich, Germany, 1995, Demo and paper available. Contact: Slim.Abdennadher@informatik.uni-muenchen.de
- Ordered resolution theorem prover, E. Dumbill and A. Frisch, University of York, UK, 1995, Master Thesis available, Contact: frisch@minster.york.ac.uk
- GroAK, Solver for non-linear polynomial constraints, E. Monfroy, M. Rusinowitch and R. Schott, CRIN-CNRS and INRIA-Lorraine, France, 1995, Technical Report available, Contact: Eric.Monfroy@loria.fr
- POPULAR, Optimal placement of local telecommunication transmitter stations, P. Brisset, J.R. Molwitz and T. Fruehwirth, ECRC and SIEMENS Munich, Germany, 1994, Demo and paper available, Contact: Thom.Fruehwirth@informatik.uni-ulm.de
- PROTEIN+, Theorem prover using constraint model elimination, Frieder Stolzenburg, Peter Baumgartner, Olaf Menkens University Koblenz, Germany, 1994ff, Papers available, Contact: stolzen@informatik.uni-koblenz.de
- Kanji Font Description, M. J. Duerst, University Zurich, Switzerland, 1993, Papers available, Contact: mduerst@ifi.unizh.ch
- Hybrid knowledge representation language, contains various solvers, B. Herbig, DFKI Kaiserslautern, Germany, 1993, Master Thesis (in German)
- GRF, Temporal reasoning language, G. Dondossola and E. Ratto, CISE, Milano, Italy, 1993, Reports available, Contact: {elena,giovanna}@sia.cise.it