1. Eighth IEEE World Congress on Services, SERVICES 2012, Honolulu, HI, USA, June 24-29, 2012, 2012. IEEE. ISBN: 978-1-4673-3053-4. [bibtex-entry]



2. Stephen Muggleton, Alireza Tamaddoni-Nezhad, and Francesca A. Lisi, editors. Inductive Logic Programming - 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers, volume 7207 of Lecture Notes in Computer Science, 2012. Springer. ISBN: 978-3-642-31950-1. [bibtex-entry]



3. Elena Simperl, Philipp Cimiano, Axel Polleres, Óscar Corcho, and Valentina Presutti, editors. The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings, volume 7295 of Lecture Notes in Computer Science, 2012. Springer. ISBN: 978-3-642-30283-1. [bibtex-entry]



4. Jon Sneyers and Thom Frühwirth, editors. CHR '12: Proc. 9th Workshop on Constraint Handling Rules, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): CHR 2012. [bibtex-entry]

1. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, 64(4):447-462, 2012. [bibtex-entry]



2. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, (0):-, 2012. ISSN: 0898-1221. [WWW] [doi:10.1016/j.camwa.2011.12.017] Keyword(s): abduction, applications. [bibtex-entry]



3. Ruoyu Chen, Lejian Liao, and Zhi Fang. A Virtual Organization Model Based on Semantic Web Services and Its Application in Supply Chain for Agricultural Product. Advances in Control and Communication, 2012. [bibtex-entry]



4. Gregory J. Duck. SMCHR: Satisfiability Modulo Constraint Handling Rules. CoRR, abs/1210.5307, 2012. [bibtex-entry]



5. Rémy Haemmerlé. Diagrammatic Confluence for Constraint Handling Rules. Theory and Practice of Logic Programming, 12(4-5):737-753, September 2012. ISSN: 1471-0684. [WWW] [doi:10.1017/S1471068412000270] Keyword(s): confluence. [bibtex-entry]



6. Cleyton Rodrigues, Ryan Ribeiro de Azevedo, Fred Freitas, and Eric Dantas. LSVF: a New Search Heuristic to Reduce the Backtracking Calls for Solving Constraint Satisfaction Problem. (IJARAI) International Journal of Advanced Research in Artificial Intelligence, 1(9):20-25, 2012. [bibtex-entry]



7. Kazunori Ueda and Seiji Ogawa. HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model. KI - Künstliche Intelligenz, pp 1-10, 2012. ISSN: 0933-1875. [WWW] Keyword(s): related formalisms. [bibtex-entry]



8. Matje van de Camp and Henning Christiansen. Resolving relative time expressions in Dutch text with Constraint Handling Rules, pages 74-85. University of Orléans, 2012. [bibtex-entry]



9. M. Alberti, M. Gavanelli, and E. Lamma. Deon+: Abduction and Constraints for Normative Reasoning. In Alexander Artikis, Robert Craven, Nihan Kesim, Babak Sadighi, and Kostas Stathis, editors, Festschrift of Marek Sergot. Springer, 2012. [bibtex-entry]



10. Stefano Bistarelli, Fabio Martinelli, Francesco Roperti, and Francesco Santini. Negotiation of Weighted RTML Credentials on Mobile Devices. In Marco De Marco, Dov Te'eni, Valentina Albano, and Stefano Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 429-438. Physica-Verlag HD, 2012. ISBN: 978-3-7908-2788-0. [WWW] [doi:10.1007/978-3-7908-2789-7_47] [bibtex-entry]

1. Slim Abdennadher and Nada Sharaf. Visualization of CHR through Source-to-Source Transformation. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 109-118, 2012. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.109] [Annotation] [bibtex-entry]



2. Alia El Bolock, Amira Zaki, and Thom Frühwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 41-50, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, algorithms, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



3. Fabian Buettner and Jordi Cabot. Lightweight String Reasoning for OCL. In 8th European Conference on Modelling Foundations and Applications (ECMFA), 2012. [bibtex-entry]



4. Ruoyu Chen, Lejian Liao, and Zhi Fang. Contracting of Web Services with Constraint Handling Rules. In SERVICES, pages 211-218, 2012. IEEE. ISBN: 978-1-4673-3053-4. [bibtex-entry]



5. Henning Christiansen. An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 1-15, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



6. János Csorba, Zsolt Zombori, and Péter Szeredi. Pros and Cons of Using CHR for Type Inference. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 16-31, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): type systems, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



7. Veronica Dahl, Bradley Coleman, J. Emilio Miralles, and Erez Maharshak. CHR for Social Responsibility. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 370-380, 2012. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.370] [Annotation] [bibtex-entry]



8. Veronica Dahl and Juan Emilio Miralles. Womb Grammars: Constraint Solving for Grammar Induction. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 32-40, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): linguistics, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



9. Veronica Dahl, Emilio Miralles, and Leonor Becerra-Bonache. On Language Acquisition through Womb Grammars. In Proceedings of the 7th International Workshop on Constraint Solving and Language Processing, France, pages 99-105, 2012. [WWW] [PDF] [Abstract] [bibtex-entry]



10. Rémy Haemmerlé. Coinductive Proof over Streams as CHR Confluence Proofs. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 51-65, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): confluence, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



11. Ester Martìnez-Martin, M. Teresa Escrig, and Angel P. Del Pobil. Qualitative Velocity Model: Representation, Reasoning and Application. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 66-81, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



12. Colin Nicholson and Danny De Schreye. Relevancy analysis as a basis for improved tabling in CHRiSM. In Elvira Albert, editor, Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation,, pages 100-114, Septempber 2012. [WWW] [bibtex-entry]



13. Amira Zaki, Thom Frühwirth, and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 82-90, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): parallelism, implementation, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]



14. Viktor de Boer, Jan Wielemaker, Judith van Gent, Michiel Hildebrand, Antoine Isaac, Jacco van Ossenbruggen, and Guus Schreiber. Supporting Linked Data Production for Cultural Heritage Institutes: The Amsterdam Museum Case Study. In Elena Simperl, Philipp Cimiano, Axel Polleres, Óscar Corcho, and Valentina Presutti, editors, ESWC, volume 7295 of Lecture Notes in Computer Science, pages 733-747, 2012. Springer. ISBN: 978-3-642-30283-1. [bibtex-entry]



15. Victor de Boer, Jan Wielemaker, Judith van Gent, Michiel Hildebrand, Antoine Isaac, Jacco van Ossenbruggen, and Guus Schreiber. Supporting Linked Data Production for Cultural Heritage institutes: The Amsterdam Museum Case Study. In 9th Extended Semantic Web Conference (ESWC 2012), May 2012. [bibtex-entry]

1. Rafael Caballero, Yolanda Garcia-Ruiz, and Fernando Saenz-Perez. Debugging Datalog Programs Through CHRs, 2012. [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