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] [bibtex-entry]



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

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. [bibtex-entry]



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. [bibtex-entry]



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] [bibtex-entry]



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] [bibtex-entry]



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. [bibtex-entry]

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] [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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] [bibtex-entry]



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. [bibtex-entry]



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. [bibtex-entry]



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] [bibtex-entry]

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] [bibtex-entry]

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

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