1. Evelina Lamma and Terrance Swift, editors. ICLP '13: Proc. 29th Intl. Conf. Logic Programming, volume 13(4–5) of Theory and Practice of Logic Programming. Cambridge University Press, August 2013. [bibtex-entry]



2. Evelina Lamma and Terrance Swift, editors. Technical Communications of the 29th Intl. Conf. on Logic Programming, volume 13(4–5), Online Supplement of Theory and Practice of Logic Programming. Cambridge University Press, August 2013. [bibtex-entry]



3. Henning Christiansen and Jon Sneyers, editors. CHR '13: Proc. 10th Workshop on Constraint Handling Rules, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): CHR 2013. [bibtex-entry]



4. Gopal Gupta, editor. LOPSTR '13: 23rd Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2013. [bibtex-entry]



5. Christian Schulte, editor. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, volume 8124 of Lecture Notes in Computer Science, 2013. Springer. ISBN: 978-3-642-40626-3. [bibtex-entry]

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. Thom Frühwirth and Frank Raiser, editors. Constraint Handling Rules: Compilation, Execution, and Analysis. March 2011. ISBN: 978-3-83-911591-6. Keyword(s): implementation, complexity, optimizing compilation, parallelism, priorities. [bibtex-entry]



2. John Gallagher and Michael Gelfond, editors. ICLP '11: Proc. 27th Intl. Conf. Logic Programming, volume 11(4–5) of Theory and Practice of Logic Programming. Cambridge University Press, July 2011. [bibtex-entry]



3. John Gallagher and Michael Gelfond, editors. Technical Communications of the 27th Intl. Conf. on Logic Programming, volume 11 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, July 2011. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex-entry]



4. Michael Hanus, editor. PPDP '11: Proc. 13th Intl. Conf. Princ. Pract. Declarative Programming, July 2011. ACM Press. [bibtex-entry]



5. Jon Sneyers, editor. CHR '11: Proc. 8th Workshop on Constraint Handling Rules, September 2011. GUC, Technical report. [PDF] Keyword(s): CHR 2011. [bibtex-entry]



6. German Vidal, editor. LOPSTR '11: 21st Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2011. [bibtex-entry]



7. German Vidal, editor. LOPSTR '11: 21st Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Lecture Notes in Computer Science, 2011. [bibtex-entry]

1. Manuel Hermenegildo and Torsten Schaub, editors. ICLP '10: Proc. 26th Intl. Conf. Logic Programming, volume 10(4–6) of Theory and Practice of Logic Programming. Cambridge University Press, July 2010. [bibtex-entry]



2. M. Montali. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach, volume 56. Springer-Verlag New York Inc, 2010. [bibtex-entry]



3. Michael Thielscher. Reasoning Robots: The Art and Science of Programming Robotic Agents (Applied Logic Series). Springer Netherlands, October 2010. Keyword(s): applications. [bibtex-entry]



4. Slim Abdennadher, editor. WLP '10: Proc. 13th Workshop on Logic Programming, September 2010. [WWW] [bibtex-entry]



5. M. Fernández, editor. PPDP '10: Proc. 12th Intl. Conf. Princ. Pract. Declarative Programming, July 2010. ACM Press. [bibtex-entry]



6. Manuel Hermenegildo and Torsten Schaub, editors. Technical Communications of the 26th Intl. Conf. on Logic Programming, volume 7 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, July 2010. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. [bibtex-entry]



7. P. Van Weert and L. De Koninck, editors. CHR '10: Proc. 7th Workshop on Constraint Handling Rules, July 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010. [bibtex-entry]



8. A. Wolf and U. Geske, editors. WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW] [bibtex-entry]

1. Thom Frühwirth. Constraint Handling Rules. Cambridge University Press, August 2009. ISBN: 9780521877763. [WWW] Keyword(s): tutorial. [bibtex-entry]



2. M. Hanus, editor. LOPSTR '08: 18th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 5438 of Lecture Notes in Computer Science, 2009. Springer-Verlag. [doi:10.1007/978-3-642-00515-2] [bibtex-entry]



3. Patricia M. Hill and David S. Warren, editors. ICLP '09: Proc. 25th Intl. Conf. Logic Programming, volume 5649 of Lecture Notes in Computer Science, July 2009. Springer-Verlag. [doi:10.1007/978-3-642-02846-5] [bibtex-entry]



4. F.J. López-Fraguas, editor. PPDP '09: Proc. 11th Intl. Conf. Princ. Pract. Declarative Programming, September 2009. ACM Press. [bibtex-entry]



5. F. Raiser and J. Sneyers, editors. CHR '09: Proc. 6th Workshop on Constraint Handling Rules, July 2009. K.U.Leuven, Department of Computer Science, Technical report CW 555. Keyword(s): CHR 2009. [bibtex-entry]

1. Tom Schrijvers and Thom Frühwirth, editors. Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8] [bibtex-entry]



2. M. Garcìa de la Banda and E. Pontelli, editors. ICLP '08: Proc. 24rd Intl. Conf. Logic Programming, volume 5366 of Lecture Notes in Computer Science, December 2008. Springer-Verlag. [doi:10.1007/978-3-540-89982-2] [bibtex-entry]



3. M. Hanus, editor. LOPSTR '08: 18th Intl. Symp. Logic-Based Program Synthesis and Transformation, Pre-Proceedings, 2008. [WWW] [PDF] [bibtex-entry]



4. A. King, editor. LOPSTR '07: 17th Intl. Symp. Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 4915 of Lecture Notes in Computer Science, 2008. [bibtex-entry]



5. T. Schrijvers, F. Raiser, and T. Frühwirth, editors. CHR '08: Proc. 5th Workshop on Constraint Handling Rules, 2008. RISC Report Series 08-10, University of Linz, Austria. Keyword(s): CHR 2008. [bibtex-entry]

1. V. Dahl and I. Niemelä, editors. ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2] [bibtex-entry]



2. K. Djelloul, G. J. Duck, and M. Sulzmann, editors. CHR '07: Proc. 4th Workshop on Constraint Handling Rules, September 2007. Keyword(s): CHR 2007. [bibtex-entry]



3. M. Leuschel and A. Podelski, editors. PPDP '07: Proc. 9th Intl. Conf. Princ. Pract. Declarative Programming, July 2007. ACM Press. ISBN: 978-1-59593-769-8. [bibtex-entry]

1. A. Bossi and M.J. Maher, editors. PPDP '06: Proc. 8th Intl. Conf. Princ. Pract. Declarative Programming, July 2006. ACM Press. ISBN: 1-59593-388-3. [bibtex-entry]



2. S. Etalle and M. Truszczynski, editors. ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, August 2006. Springer-Verlag. [doi:10.1007/11799573] [bibtex-entry]



3. M. Fink, H. Tompits, and S. Woltran, editors. WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, February 2006. [bibtex-entry]



4. N. Kobayashi, editor. APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, volume 4279 of Lecture Notes in Computer Science, November 2006. Springer-Verlag. ISBN: 3-540-48937-1. [bibtex-entry]



5. T. Schrijvers and Th. Frühwirth, editors. CHR '06: Proc. 3rd Workshop on Constraint Handling Rules, July 2006. K.U.Leuven, Department of Computer Science, Technical report CW 452. Keyword(s): CHR 2006. [bibtex-entry]

1. Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors. Special Issue on Constraint Handling Rules, volume 5(4–5) of Theory and Practice of Logic Programming. Cambridge University Press, July 2005. [bibtex-entry]



2. P. Barahona and A.P. Felty, editors. PPDP '05: Proc. 7th Intl. Conf. Princ. Pract. Declarative Programming, July 2005. ACM Press. ISBN: 1-59593-090-6. [bibtex-entry]



3. M. Gabbrielli and G. Gupta, editors. ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, October 2005. Springer-Verlag. [bibtex-entry]



4. T. Schrijvers and Th. Frühwirth, editors. CHR '05: Proc. 2nd Workshop on Constraint Handling Rules, 2005. K.U.Leuven, Department of Computer Science, Technical report CW 421. Keyword(s): CHR 2005. [bibtex-entry]



5. A. Wolf, Th. Frühwirth, and M. Meister, editors. W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, February 2005. [WWW] [bibtex-entry]

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. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. Springer-Verlag, 2003. ISBN: 3540676236. Keyword(s): tutorial. [bibtex-entry]



2. F. Buccafurri, editor. AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, September 2003. [bibtex-entry]

1. M. Hanus, editor. WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of Electronic Notes in Theoretical Computer Science, November 2002. Elsevier. [bibtex-entry]



2. P. J. Stuckey, editor. ICLP '02: Proc. 18th Intl. Conf. Logic Programming, volume 2401 of Lecture Notes in Computer Science, jul/aug 2002. Springer-Verlag. [bibtex-entry]

1. R. De Nicola and H. Sondergaard, editors. PPDP '01: Proc. 3rd Intl. Conf. Princ. Pract. Declarative Programming, September 2001. ACM Press. ISBN: 1-58113-388-X. [bibtex-entry]

1. C. Holzbaur and Th. Frühwirth, editors. Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence. Taylor & Francis, April 2000. [bibtex-entry]



2. K.R. Apt, A.C. Kakas, E. Monfroy, and F. Rossi, editors. New Trends in Constraints, Joint ERCIM/Compulog Net Workshop, October 1999, Selected papers, volume 1865 of Lecture Notes in Computer Science, 2000. Springer-Verlag. ISBN: 3-540-67885-9. [bibtex-entry]



3. T. Frühwirth and others, editors. RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000. [bibtex-entry]



4. T. Frühwirth and others, editors. RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000. [bibtex-entry]

1. J. Jaffar, editor. CP '99: Proc. 5th Intl. Conf. Princ. Pract. Constraint Programming, volume 1713 of Lecture Notes in Computer Science, October 1999. Springer-Verlag. ISBN: 3-540-66626-5. [bibtex-entry]

1. Marìa Teresa Escrig Monferrer and Francisco Toledo Lobo. Qualitative Spatial Reasoning: Theory and Practice — Application to Robot Navigation. IOS Press, 1998. [bibtex-entry]



2. T. Andreasen, H. Christiansen, and H.L. Larsen, editors. FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of Lecture Notes in Artificial Intelligence, May 1998. Springer-Verlag. [bibtex-entry]



3. M. J. Maher and J.-F. Puget, editors. CP '98: Proc. 4th Intl. Conf. Princ. Pract. Constraint Programming, volume 1520 of Lecture Notes in Computer Science, October 1998. Springer-Verlag. ISBN: 3-540-65224-8. [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