1. R. De Nicola and H. Sondergaard, editors. PPDP '01: Proc. 3rd Intl. Conf. Princ. Pract. Declarative Programming, September 2001. ACM Press.
   

   @proceedings{pppdp01,
   title = PPDP01l,
   booktitle = PPDP01,
   editor = {R. {De Nicola} and H. S{\o}ndergaard},
   month = sep,
   year = {2001},
   isbn = {1-58113-388-X},
   location = {Florence, Italy},
   city = {Florence, Italy},
   publisher = ACM,
   
   }
   

1. Slim Abdennadher. Rule-based Constraint Programming: Theory and Practice. Habilitationsschrift, Institute of Computer Science, LMU, Munich, Germany, July 2001.
   

   @phdthesis{abd_habilitation_2001,
   author = {Slim Abdennadher},
   title = {Rule-based Constraint Programming: Theory and Practice},
   school = {Institute of Computer Science, LMU},
   address = {Munich, Germany},
   year = 2001,
   month = jul,
   type = {Habilitationsschrift},
   
   }
   

1. Krzysztof R. Apt and Eric Monfroy. Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming, 1(6):713-750, 2001. [doi:10.1017/S1471068401000072]
   

   @article{apt_monfroy_cp_viewed_as_rulebased_tplp01,
   author = {Krzysztof R. Apt and Eric Monfroy},
   title = {Constraint programming viewed as rule-based programming},
   journal = TPLP,
   volume = {1},
   number = {6},
   year = {2001},
   issn = {1471-0684},
   pages = {713--750},
   doi = {10.1017/S1471068401000072},
   publisher = CUP,
   
   }
   




2. Thom Frühwirth and Slim Abdennadher. The Munich Rent Advisor: A success for logic programming on the Internet. Theory and Practice of Logic Programming, 1(3):303-319, 2001. [doi:10.1017/S1471068401001181] Keyword(s): applications.
   

   @article{fru_abd_munich_rent_advisor_tplp01,
   author = {Thom Fr\"{u}hwirth and Slim Abdennadher},
   title = {The {Munich} Rent Advisor: A success for logic programming on the Internet},
   keywords = {applications},
   journal = TPLP,
   volume = {1},
   number = {3},
   year = {2001},
   issn = {1471-0684},
   pages = {303--319},
   doi = {10.1017/S1471068401001181},
   publisher = CUP,
   
   }
   

1. Slim Abdennadher and Christophe Rigotti. Using confluence to generate rule-based constraint solvers. In R. De Nicola and H. Sondergaard, editors, PPDP '01: Proc. 3rd Intl. Conf. Princ. Pract. Declarative Programming, pages 127-135, September 2001. ACM Press. Keyword(s): confluence.
   

   @inproceedings{abd_rigotti_solver_generation_confluence_ppdp01,
   author = {Slim Abdennadher and Christophe Rigotti},
   title = {Using confluence to generate rule-based constraint solvers},
   pages = {127--135},
   keywords = {confluence},
   crossref = {pppdp01} 
   }
   




2. Slim Abdennadher and Matthias Saft. A visualization tool for Constraint Handling Rules. In A. Kusalik, editor, WLPE '01, December 2001.
   

   @inproceedings{abd_saft_jack:visualchr_wlpe01,
   author = {Slim Abdennadher and Matthias Saft},
   title = {A visualization tool for {C}onstraint {H}andling {R}ules},
   booktitle = WLPE01,
   year = 2001,
   month = dec,
   location = {Paphos, Cyprus},
   city = {Paphos, Cyprus},
   editor = {A. Kusalik},
   
   }
   




3. Thom Frühwirth. On the Number of Rule Applications in Constraint Programs. In A. Dovier, M. Chiara Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP 2000, volume 48 of Electronic Notes in Theoretical Computer Science, pages 147-166, June 2001. Elsevier. Keyword(s): complexity, termination.
   

   @inproceedings{fru_number_entcs01,
   author = {Thom Fr{\"u}hwirth},
   title = {On the Number of Rule Applications in Constraint Programs},
   editor = {A. Dovier and M. Chiara Meo and A. Omicini},
   booktitle = {Declarative Programming - Selected Papers from AGP 2000},
   keywords = {complexity, termination},
   location = {La Habana, Cuba},
   city = {La Habana, Cuba},
   month = jun,
   year = 2001,
   series = ENTCS,
   volume = 48,
   pages = {147--166},
   publisher = Elsevier,
   
   }
   




4. Joost Geurts, Jacco van Ossenbruggen, and Lynda Hardman. Application-Specific Constraints for Multimedia Presentation Generation. In MMM '01: Proc. 8th Intl. Conf. on Multimedia Modeling, pages 247-266, November 2001. Keyword(s): applications.
   

   @inproceedings{geurts_vanOss_hardman_multimedia_presentation_cuypers_mm01,
   author = {Joost Geurts and Jacco {van Ossenbruggen} and Lynda Hardman},
   title = {Application-Specific Constraints for Multimedia Presentation Generation},
   keywords = {applications},
   booktitle = {MMM '01: Proc.\ 8th Intl.\ Conf.\ on Multimedia Modeling},
   pages = {247--266},
   year = 2001,
   month = nov,
   location = {Amsterdam, The Netherlands},
   city = {Amsterdam, The Netherlands},
   
   }
   




5. Armin Wolf. Adaptive Constraint Handling with CHR in Java. In T. Walsh, editor, CP '01, volume 2239 of Lecture Notes in Computer Science, pages 256-270, 2001. Springer-Verlag. Keyword(s): Java, extensions.
   

   @inproceedings{wolf_adaptive_chr_java_cp01,
   author = {Armin Wolf},
   title = {Adaptive Constraint Handling with {CHR} in {J}ava},
   booktitle = CP01,
   year = {2001},
   isbn = {3-540-42863-1},
   pages = {256--270},
   series = LNCS,
   keywords = {Java, extensions},
   volume = 2239,
   editor = {T. Walsh},
   location = {Paphos, Cyprus},
   city = {Paphos, Cyprus},
   publisher = SV,
   
   }
   




6. Armin Wolf. Attributed Variables for Dynamic Constraint Solving. In Proc. 14th Intl. Conf. Applications of Prolog, pages 211-219, October 2001. Prolog Association of Japan. Keyword(s): implementation, extensions.
   

   @inproceedings{wolf_attr_vars_inap01,
   author = {Armin Wolf},
   title = {Attributed Variables for Dynamic Constraint Solving},
   keywords = {implementation, extensions},
   booktitle = {Proc.\ 14th Intl.\ Conf.\ Applications of Prolog},
   location = {Tokyo, Japan},
   city = {Tokyo, Japan},
   year = 2001,
   pages = {211--219},
   month = oct,
   publisher = {Prolog Association of Japan} 
   }
   

1. Martin Sulzmann. TIE: A CHR-based Type Inference Engine. Technical report TR2001/27, University of Melbourne, Department of Computer Science, 2001. Keyword(s): type systems.
   

   @TechReport{sulz_TIE_techrep01,
   author = {Martin Sulzmann},
   year = {2001},
   title = {{TIE}: A {CHR}-based Type Inference Engine},
   keywords = {type systems},
   institution = {University of Melbourne, } # deptcw,
   number = {TR2001/27} 
   }
   

1. Ekkehard Krämer. A Generic Search Engine for a Java Constraint Kit. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, January 2001. Keyword(s): search, Java.
   

   @mastersthesis{kr_jack:jase_2001,
   author = {Ekkehard Kr{\"a}mer},
   title = {A Generic Search Engine for a {J}ava {C}onstraint {K}it},
   year = 2001,
   month = jan,
   keywords = {search, Java},
   school = {Institute of Computer Science, LMU},
   address = {Munich, Germany},
   type = {Diplomarbeit},
   
   }
   

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html