1. B. Demoen and V. Lifschitz, editors. ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475]
   

   @proceedings{piclp04,
   title = ICLP04l,
   booktitle = ICLP04,
   location = {Saint-Malo, France},
   city = {Saint-Malo, France},
   editor = {Demoen, B. and Lifschitz, V.},
   series = LNCS,
   volume = 3132,
   month = sep,
   year = 2004,
   publisher = SV,
   doi = {10.1007/b99475},
   isbn = {978-3-540-22671-0},
   
   }
   




2. Th. Frühwirth and M. Meister, editors. CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, May 2004. Keyword(s): CHR 2004.
   

   @proceedings{pchr04,
   TITLE = CHR04l,
   BOOKTITLE = CHR04,
   location = {Ulm, Germany},
   city = {Ulm, Germany},
   YEAR = {2004},
   editor = {Fr{\"u}hwirth, Th. and Meister, M.},
   month = may,
   keywords = {CHR 2004},
   
   }
   

1. Slim Abdennadher and Christophe Rigotti. Automatic generation of rule-based constraint solvers over finite domains. ACM Trans. Comput. Logic, 5(2):177-205, 2004. ISSN: 1529-3785. Keyword(s): program generation.
   

   @article{abd_rigo_automatic_gen_of_solvers_tocl04,
   author = {Slim Abdennadher and Christophe Rigotti},
   title = {Automatic generation of rule-based constraint solvers over finite domains},
   keywords = {program generation},
   journal = TOCL,
   volume = {5},
   number = {2},
   year = {2004},
   issn = {1529-3785},
   pages = {177--205},
   publisher = ACM,
   
   }
   




2. Stefano Bistarelli, Thom Frühwirth, Michael Marte, and Francesca Rossi. Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence: Special Issue on Preferences in AI and CP, 20(2):287-307, May 2004.
   

   @ARTICLE{bistarelli_fru_marte_rossi_soft_constraint_propagation_CI04,
   AUTHOR = {Stefano Bistarelli and Thom Fr{\"u}hwirth and Michael Marte and Francesca Rossi},
   TITLE = {Soft Constraint Propagation and Solving in {C}onstraint {H}andling {R}ules},
   JOURNAL = {Computational Intelligence: Special Issue on Preferences in AI and CP},
   VOLUME = 20,
   NUMBER = 2,
   MONTH = MAY,
   YEAR = 2004,
   PAGES = {287--307},
   
   }
   




3. Antonio J. Fernández and Patricia M. Hill. An interval constraint system for lattice domains. ACM Trans. Program. Lang. Syst., 26(1):1-46, 2004. ISSN: 0164-0925. [doi:10.1145/963778.963779]
   

   @article{fern_hill_interval_constraint_system_toplas04,
   author = {Antonio J. Fern\'{a}ndez and Patricia M. Hill},
   title = {An interval constraint system for lattice domains},
   journal = {ACM Trans.\ Program.\ Lang.\ Syst.},
   volume = {26},
   number = {1},
   year = {2004},
   issn = {0164-0925},
   pages = {1--46},
   doi = {10.1145/963778.963779},
   publisher = ACM,
   address = {New York, NY, USA},
   
   }
   




4. Alexander Pretschner, Heiko Lötzbeyer, and Jan Philipps. Model based testing in incremental system development. Journal of Systems and Software, 70(3):315-329, 2004. ISSN: 0164-1212. [doi:10.1016/S0164-1212(03)00076-1] Keyword(s): applications, testing. Abstract:

   The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. It is argued that these parts should consist not only of programming language code, but of executable graphical system models. As a main benefit of the use of more abstract, yet formal, modeling languages, a method for model based test sequence generation for reactive systems on the grounds of Constraint Logic Programming as well as its implementation in the CASE tool AF is presented.

   
   

   @article{pretschner_et_al_model_based_testing_jss04,
   title = {Model based testing in incremental system development},
   journal = {Journal of Systems and Software},
   volume = 70,
   number = 3,
   pages = {315--329},
   year = 2004,
   issn = "0164-1212",
   doi = {10.1016/S0164-1212(03)00076-1},
   author = {Alexander Pretschner and Heiko L{\"o}tzbeyer and Jan Philipps},
   keywords = {applications, testing},
   abstract = { The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. It is argued that these parts should consist not only of programming language code, but of executable graphical system models. As a main benefit of the use of more abstract, yet formal, modeling languages, a method for model based test sequence generation for reactive systems on the grounds of Constraint Logic Programming as well as its implementation in the CASE tool AF is presented. },
   
   }
   




5. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, and Stefan Kriebel. Model-based testing for real. J. Software Tools for Technology Transfer (STTT), 5(2–3):140-157, 2004. Keyword(s): applications, testing.
   

   @article{pretschner_et_al_model-based_testing_sttt04,
   author = {Alexander Pretschner and Oscar Slotosch and Ernst Aiglstorfer and Stefan Kriebel},
   title = {Model-based testing for real},
   keywords = {applications, testing},
   journal = {J. Software Tools for Technology Transfer (STTT)},
   volume = {5},
   number = {2--3},
   year = {2004},
   pages = {140--157},
   
   }
   

1. Slim Abdennadher and Thom Frühwirth. Integration and Optimization of Rule-based Constraint Solvers. In M. Bruynooghe, editor, LOPSTR '03, volume 3018 of Lecture Notes in Computer Science, pages 198-213, 2004. Springer-Verlag. [PDF]
   

   @INPROCEEDINGS{abd_fru_integration_lopstr03,
   AUTHOR = {Slim Abdennadher and Thom Fr{\"u}hwirth},
   TITLE = {Integration and Optimization of Rule-based Constraint Solvers},
   EDITOR = {Bruynooghe, M.},
   BOOKTITLE = LOPSTR03,
   PUBLISHER = SV,
   SERIES = LNCS,
   VOLUME = 3018,
   YEAR = 2004,
   location = {Uppsala, Sweden},
   city = {Uppsala, Sweden},
   PAGES = {198--213},
   pdf = {http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/paper3.pdf},
   
   }
   




2. Dulce Aguilar-Solis and Verónica Dahl. Coordination Revisited – A Constraint Handling Rule Approach. In IBERAMIA '04: Proc. 9th Ibero-American Conf. on AI, volume 3315 of Lecture Notes in Computer Science, pages 315-324, November 2004. Keyword(s): applications.
   

   @inproceedings{as_dahl_coordination_iberamia04,
   author = {Dulce Aguilar-Solis and Ver{\'o}nica Dahl},
   title = {Coordination Revisited -- A {C}onstraint {H}andling {R}ule Approach},
   keywords = {applications},
   booktitle = {IBERAMIA '04: Proc.\ 9th Ibero-American Conf.\ on AI},
   location = {Puebla, Mexico},
   city = {Puebla, Mexico},
   year = 2004,
   month = nov,
   series = LNCS,
   volume = 3315,
   pages = {315--324},
   
   }
   




3. Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, and Paola Mello. Specification and verification of agent interaction protocols in a logic-based system. In H. Haddad and others, editors, SAC '04: Proc. 19th ACM Symp. Applied Computing, pages 72-78, March 2004. ACM Press. Keyword(s): applications, verification.
   

   @inproceedings{alberti_et_al_agent_interaction_protocols_sac04,
   author = {Marco Alberti and Davide Daolio and Paolo Torroni and Marco Gavanelli and Evelina Lamma and Paola Mello},
   title = {Specification and verification of agent interaction protocols in a logic-based system},
   keywords = {applications, verification},
   booktitle = {SAC '04: Proc. 19th ACM Symp. Applied Computing},
   location = {Nicosia, Cyprus},
   city = {Nicosia, Cyprus},
   month = mar,
   year = 2004,
   editor = {H. Haddad and others},
   pages = {72--78},
   publisher = ACM,
   
   }
   




4. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction using Social Integrity Constraints. In LCMAS'03: Logic and Communication in Multi-Agent Systems, volume 85(2) of Electronic Notes in Theoretical Computer Science, pages 94-116, 2004. Elsevier.
   

   @inproceedings{alberti_et_al_social_integrity_constraints_lcmas03,
   author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
   title = {Specification and Verification of Agent Interaction using Social Integrity Constraints},
   booktitle = {LCMAS'03: Logic and Communication in Multi-Agent Systems},
   location = {Eindhoven, the Netherlands},
   city = {Eindhoven, the Netherlands},
   year = 2004,
   pages = {94--116},
   series = ENTCS,
   volume = {85(2)},
   publisher = Elsevier,
   
   }
   




5. Liviu Badea, Doina Tilivea, and Anca Hotaran. Semantic Web Reasoning for Ontology-Based Integration of Resources. In PPSWR '04: Proc. second Intl. Workshop on Principles And Practice Of Semantic Web Reasoning, volume 3208 of Lecture Notes in Computer Science, pages 61-75, September 2004. Springer-Verlag. Keyword(s): applications.
   

   @inproceedings{badea_et_al_semantic_web_reasoning_ppswr04,
   title={{Semantic Web Reasoning for Ontology-Based Integration of Resources}},
   author={Badea, Liviu and Tilivea, Doina and Hotaran, Anca},
   booktitle = {PPSWR '04: Proc.\ second Intl.\ Workshop on Principles And Practice Of Semantic Web Reasoning},
   keywords = {applications},
   city = {Saint-Malo, France},
   location = {Saint-Malo, France},
   month = sep,
   year= 2004,
   publisher=SV,
   series = LNCS,
   volume = 3208,
   pages = {61--75},
   
   }
   




6. Henning Christiansen. CHR Grammars with multiple constraint stores. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 1-7, May 2004. [PDF] Keyword(s): CHR 2004, linguistics, applications, CHR 2004, CHR 2004.
   

   @inproceedings{christ_grammars_mult_stores_chr04,
   author = {Henning Christiansen},
   title = {CHR Grammars with multiple constraint stores},
   keywords = {CHR 2004, linguistics, applications},
   crossref = {pchr04},
   pages = {1--7},
   pdf = PAPERSHOME # {chr2004/christ_grammars_mult_stores_chr04.pdf},
   
   }
   




7. Verónica Dahl. An Abductive Treatment of Long Distance Dependencies in CHR. In CSLP '04: Proc. First Intl. Workshop on Constraint Solving and Language Processing, volume 3438 of Lecture Notes in Computer Science, pages 17-31, 2004. Springer-Verlag. Note: Invited Paper. Keyword(s): abduction.
   

   @inproceedings{dahl_abductive_dependencies_cslp04,
   author = {Ver{\'o}nica Dahl},
   title = {An Abductive Treatment of Long Distance Dependencies in {CHR}},
   booktitle = {CSLP '04: Proc.\ First Intl.\ Workshop on Constraint Solving and Language Processing},
   note = {Invited Paper},
   location = {Roskilde, Denmark},
   keywords = {abduction},
   city = {Roskilde, Denmark},
   pages = {17--31},
   series = LNCS,
   volume = 3438,
   year = 2004,
   publisher = SV,
   
   }
   




8. Verónica Dahl and Kimberly Voll. Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. In NLUCS '04: Proc. First Intl. Workshop on Natural Language Understanding and Cognitive Sciences, April 2004.
   

   @inproceedings{dahl_voll_concept_formation_rules_nlucs04,
   author = {Ver{\'o}nica Dahl and Kimberly Voll},
   title = {Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction},
   booktitle = {NLUCS '04: Proc.\ First Intl.\ Workshop on Natural Language Understanding and Cognitive Sciences},
   location = {Porto, Portugal},
   city = {Porto, Portugal},
   month = apr,
   year = 2004,
   
   }
   




9. Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, and Martin Sulzmann. Sound and Decidable Type Inference for Functional Dependencies. In D. A. Schmidt, editor, ESOP '04: Proc. 13th European Symp. on Programming, volume 2986 of Lecture Notes in Computer Science, pages 49-63, mar/apr 2004. Springer-Verlag. Keyword(s): type systems.
   

   @inproceedings{duck_peyton_stuck_sulz_sound_decidable_type_inference_fd_esop04,
   author = {Gregory J. Duck and Simon Peyton-Jones and Peter J. Stuckey and Martin Sulzmann},
   title = {Sound and Decidable Type Inference for Functional Dependencies},
   pages = {49--63},
   editor = {D. A. Schmidt},
   keywords = {type systems},
   booktitle = {ESOP '04: Proc.\ 13th European Symp.\ on Programming},
   month = mar # "/" # apr,
   year = 2004,
   publisher = SV,
   series = LNCS,
   volume = 2986,
   
   }
   




10. Gregory J. Duck, Peter J. Stuckey, and Marìa Garcìa de la Banda. Compiling Ask Constraints. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 105-119, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation.
    

    @inproceedings{duck_stuck_garc_compiling_ask_constraints_iclp04,
    author = {Gregory J. Duck and Peter J. Stuckey and Mar{\'i}a {Garc{\'i}a de la Banda}},
    title = {Compiling Ask Constraints},
    keywords = {implementation},
    pages = {105--119},
    crossref = {piclp04} 
    }
    




11. Gregory J. Duck, Peter J. Stuckey, Marìa Garcìa de la Banda, and Christian Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 90-104, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): semantics, implementation.
    

    @inproceedings{duck_stuck_garc_holz_refined_op_sem_iclp04,
    author = {Gregory J. Duck and Peter J. Stuckey and Mar{\'i}a {Garc{\'i}a de la Banda} and Christian Holzbaur},
    title = {The Refined Operational Semantics of {C}onstraint {H}andling {R}ules},
    pages = {90--104},
    keywords = {semantics,implementation},
    crossref = {piclp04} 
    }
    




12. Gerald Penn and Frank Richter. Lexical Resource Semantics: From Theory to Implementation. In Stefan Mueller, editor, Proceedings of the 11th International Conference on Head-Driven Phrase Structure Grammar, pages 423-443, 2004. CSLI Publications.
    

    @inproceedings{penn_richter_lexical_04,
    title = {Lexical Resource Semantics: From Theory to Implementation},
    author = {Gerald Penn and Frank Richter},
    editor = {Stefan Mueller},
    booktitle = {Proceedings of the 11th International Conference on Head-Driven Phrase Structure Grammar},
    pages = {423--443},
    year = {2004},
    publisher = {CSLI Publications} 
    }
    




13. Tom Schrijvers. JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 475-476, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): applications.
    

    @inproceedings{schr_JmmSolve_iclp04,
    author = {Tom Schrijvers},
    title = {JmmSolve: A Generative Java Memory Model Implemented in {P}rolog and {CHR}},
    keywords = {applications},
    pages = {475--476},
    crossref = {piclp04} 
    }
    




14. Tom Schrijvers and Bart Demoen. The K.U.Leuven CHR system: Implementation and application. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 8-12, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, implementation, CHR 2004, CHR 2004. Abstract:

    We present the K.U.Leuven CHR system: what started out as a validation of a new attributed variables implementation, has become part of three different Prolog systems with an increasing userbase. In this paper we highlight the particular implementation aspects of the K.U.Leuven CHR system, and a few CHR applications that we have built with our system.

    
    

    @inproceedings{schr_demoen_kulchr_chr04,
    author = "Schrijvers, Tom and Demoen, Bart",
    TITLE = {{T}he {K}.{U}.{L}euven {CHR} system: {I}mplementation and application},
    PAGES = {8--12},
    crossref = {pchr04},
    url = {http://people.cs.kuleuven.be/~tom.schrijvers/CHR/},
    abstract = { We present the K.U.Leuven CHR system: what started out as a validation of a new attributed variables implementation, has become part of three different Prolog systems with an increasing userbase. In this paper we highlight the particular implementation aspects of the K.U.Leuven CHR system, and a few CHR applications that we have built with our system. },
    keywords = {CHR 2004, implementation},
    ps = PAPERSHOME # {chr2004/schr_demoen_kulchr_chr04.ps},
    
    }
    




15. Tom Schrijvers and David S. Warren. Constraint Handling Rules and tabled execution. In B. Demoen and V. Lifschitz, editors, ICLP '04: Proc. 20th Intl. Conf. Logic Programming, volume 3132 of Lecture Notes in Computer Science, pages 120-136, September 2004. Springer-Verlag. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation.
    

    @inproceedings{schr_warren_chr_xsb_iclp04,
    author = "Schrijvers, Tom and Warren, David S.",
    title = {{C}onstraint {H}andling {R}ules and tabled execution},
    keywords = {implementation},
    pages = {120--136},
    crossref = {piclp04} 
    }
    




16. Hugo Simões and Mário Florido. TypeTool: A Type Inference Visualization Tool. In H. Kuchen, editor, WFLP '04: Proc. 13th Intl. Workshop on Functional and (Constraint) Logic Programming, RWTH Aachen, Department of Computer Science, Technical report AIB-2004-05, Aachen, Germany, pages 48-61, June 2004. Keyword(s): type systems.
    

    @inproceedings{simoes_florido_typetool_wflp04,
    author = {Hugo Sim{\~{o}}es and M{\'a}rio Florido},
    title = {{TypeTool}: A Type Inference Visualization Tool},
    pages = {48--61},
    booktitle = {WFLP '04: Proc.\ 13th Intl.\ Workshop on Functional and (Constraint) Logic Programming},
    address = {Aachen, Germany},
    month = {June},
    keywords = {type systems},
    editor = {H. Kuchen},
    series = {RWTH Aachen, } # deptcw # {, Technical report AIB-2004-05},
    year = 2004 
    }
    




17. Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. The Chameleon System. In Th. Frühwirth and M. Meister, editors, CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions, pages 13-32, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, type systems, CHR 2004, CHR 2004. Abstract:

    We give an overview of the major features of the Chameleon programming language, as well as use of the system, from a Haskell programmer's point of view. Chameleon supports type-class overloading a la Haskell. The novelty of Chameleon is to allow the programmer to specify almost arbitrary conditions on type classes in terms of Constraint Handling Rules (CHRs). In fact, Chameleon's entire type inference system and evidence translation of programs is phrased in terms of CHRs.

    
    

    @inproceedings{stuck_sulz_wazny_chameleon_chr04,
    author = {Stuckey, Peter J. and Sulzmann, Martin and Wazny, Jeremy},
    title = {The {C}hameleon System},
    crossref = {pchr04},
    pages = {13--32},
    url = {http://taichi.ddns.comp.nus.edu.sg/taichiwiki/ChameleonHomePage},
    abstract = { We give an overview of the major features of the Chameleon programming language, as well as use of the system, from a Haskell programmer's point of view. Chameleon supports type-class overloading a la Haskell. The novelty of Chameleon is to allow the programmer to specify almost arbitrary conditions on type classes in terms of Constraint Handling Rules (CHRs). In fact, Chameleon's entire type inference system and evidence translation of programs is phrased in terms of CHRs. },
    keywords = {CHR 2004, type systems},
    ps = PAPERSHOME # {chr2004/stuck_sulz_wazny_chameleon_chr04.ps},
    
    }
    

1. Tom Schrijvers and Bart Demoen. Antimonotony-based Delay Avoidance for CHR. Technical report CW 385, K.U.Leuven, Department of Computer Science, Leuven, Belgium, July 2004. [WWW] Keyword(s): implementation, optimizing compilation. Abstract:

   We present an optimisation for Constraint Handling Rules (CHR) that reduces the amount of variables a constraint delays on. This optimisation reduces the overhead of delaying on variables as well as the needless reawakening of delayed constraint. A correctness proof of the optimisation based on the refined operational semantics establishes the validity of the optimisation and sheds light on possible extensions as well as related optimisations. The delay avoidance optimisation shows good speedups for some programs and no noticable slowdown for others.

   
   

   @techreport{schr_demoen_delay_avoid_techrep04,
   author = {Tom Schrijvers and Bart Demoen},
   title = {Antimonotony-based Delay Avoidance for {CHR}},
   institution = KULCW,
   address = {Leuven, Belgium},
   number = {CW 385},
   year = {2004},
   month = jul,
   keywords = {implementation, optimizing compilation},
   abstract = { We present an optimisation for Constraint Handling Rules (CHR) that reduces the amount of variables a constraint delays on. This optimisation reduces the overhead of delaying on variables as well as the needless reawakening of delayed constraint. 
   
   A correctness proof of the optimisation based on the refined operational semantics establishes the validity of the optimisation and sheds light on possible extensions as well as related optimisations. 
   
   The delay avoidance optimisation shows good speedups for some programs and no noticable slowdown for others. },
   url = {http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW385.abs.html},
   
   }
   

1. Hariolf Betz. A linear logic semantics for CHR. Diplomarbeit, University of Ulm, Germany, October 2004. [POSTSCRIPT] Keyword(s): semantics, linear logic.
   

   @mastersthesis{betz_mthesis04,
   author = {Hariolf Betz},
   title = {A linear logic semantics for {CHR}},
   year = 2004,
   month = oct,
   school = {University of Ulm},
   address = {Germany},
   type = {Diplomarbeit},
   ps = {www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/other/betzdipl.ps.gz},
   keywords = {semantics, linear logic} 
   }
   

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