Books and proceedings

2015

  1. Joanne M. Atlee and Stefania Gnesi, editors. Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015, volume 182 of EPTCS, 2015. [WWW] [doi:10.4204/EPTCS.182]

2014

  1. H. Betz, T. Frühwirth, and U. Schöning. A Unified Analytical Foundation for Constraint Handling Rules. Books on Demand, 2014. ISBN: 9783734732508.
  2. Philippe Blache, Henning Christiansen, and Verónica Dahl. Constraints and Language. Cambridge Scholars Publishing, 2014.
  3. R. Kowalski and T. Frühwirth. Logic for Problem Solving, Revisited, Computer science essentials. Books on Demand, 2014. ISBN: 9783837036299.
  4. Jacopo Mauro. Constraints Meet Concurrency. Atlantis Publishing Corporation, 2014. ISBN: 9462390665, 9789462390669.
  5. E. Tsang and T. Frühwirth. Foundations of Constraint Satisfaction: The Classic Text. Books on Demand, 2014. ISBN: 9783735723666. [WWW]
  6. 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, 2014. IEEE Computer Society. ISBN: 978-1-4799-6572-4. [WWW]
  7. Susan Zvacek, Maria Teresa Restivo, James Onohuome Uhomoibhi, and Markus Helfert, editors. CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 1, Barcelona, Spain, 1-3 April, 2014, 2014. SciTePress. ISBN: 978-989-758-020-8.
  8. Erika Ábrahám and Klaus Havelund, editors. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, volume 8413 of Lecture Notes in Computer Science, 2014. Springer. ISBN: 978-3-642-54861-1. [WWW] [doi:10.1007/978-3-642-54862-8]

2013

  1. Evelina Lamma and Terrance Swift, editors. ICLP13l, volume 13(4--5) of TPLP. CUP, August 2013.
  2. Evelina Lamma and Terrance Swift, editors. Technical Communications of the 29th Intl. Conf. on Logic Programming, volume 13(4--5), Online Supplement of TPLP. CUP, August 2013.
  3. Henning Christiansen and Jon Sneyers, editors. CHR13l, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): CHR 2013.
  4. Gopal Gupta, editor. LOPSTR13prel, 2013.
  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.

2012

  1. Thom Frühwirth, Leslie De Koninck, Markus Triska, and Jan Wielemaker. SWI Prolog Reference Manual 6.2.2. BoD--Books on Demand, 2012.
  2. Hendrik Skubch. Modelling and Controlling of Behaviour for Autonomous Mobile Robots. Springer Science & Business Media, 2012.
  3. Eighth IEEE World Congress on Services, SERVICES 2012, Honolulu, HI, USA, June 24-29, 2012, 2012. IEEE. ISBN: 978-1-4673-3053-4.
  4. 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.
  5. 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.
  6. Jon Sneyers and Thom Frühwirth, editors. CHR12l, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): CHR 2012.

2011

  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.
  2. John Gallagher and Michael Gelfond, editors. ICLP11l, volume 11(4--5) of TPLP. CUP, July 2011.
  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.
  4. Michael Hanus, editor. PPDP11l, July 2011. ACM.
  5. Jon Sneyers, editor. CHR11l, September 2011. GUC, Technical report. [PDF] Keyword(s): CHR 2011.
  6. German Vidal, editor. LOPSTR11l, LNCS, 2011.
  7. German Vidal, editor. LOPSTR11prel, 2011.

2010

  1. Manuel Hermenegildo and Torsten Schaub, editors. ICLP10l, volume 10(4--6) of TPLP. CUP, July 2010.
  2. M. Montali. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach, volume 56. Springer-Verlag New York Inc, 2010.
  3. Michael Thielscher. Reasoning Robots: The Art and Science of Programming Robotic Agents (Applied Logic Series). Springer Netherlands, October 2010. Keyword(s): applications.
  4. Slim Abdennadher, editor. WLP10l, September 2010. [WWW]
  5. M. Fernández, editor. PPDP10l, July 2010. ACM.
  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.
  7. P. Van Weert and L. De Koninck, editors. CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010.
  8. A. Wolf and U. Geske, editors. WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW]

2009

  1. Thom Frühwirth. Constraint Handling Rules. CUP, August 2009. ISBN: 9780521877763. [WWW] Keyword(s): tutorial.
  2. M. Hanus, editor. LOPSTR08l, volume 5438 of LNCS, 2009. SV. [doi:10.1007/978-3-642-00515-2]
  3. Patricia M. Hill and David S. Warren, editors. ICLP09l, volume 5649 of LNCS, July 2009. SV. [doi:10.1007/978-3-642-02846-5]
  4. F.J. López-Fraguas, editor. PPDP09l, September 2009. ACM.
  5. F. Raiser and J. Sneyers, editors. CHR09l, July 2009. KULCW, Technical report CW 555. Keyword(s): CHR 2009.

2008

  1. Tom Schrijvers and Thom Frühwirth, editors. Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8]
  2. M. Garcìa de la Banda and E. Pontelli, editors. ICLP08l, volume 5366 of LNCS, December 2008. SV. [doi:10.1007/978-3-540-89982-2]
  3. M. Hanus, editor. LOPSTR08prel, 2008. [WWW] [PDF]
  4. A. King, editor. LOPSTR07l, volume 4915 of LNCS, 2008.
  5. T. Schrijvers, F. Raiser, and T. Frühwirth, editors. CHR08l, 2008. RISC Report Series 08-10, University of Linz, Austria. Keyword(s): CHR 2008.

2007

  1. V. Dahl and I. Niemelä, editors. ICLP07l, volume 4670 of LNCS, September 2007. SV. [doi:10.1007/978-3-540-74610-2]
  2. K. Djelloul, G. J. Duck, and M. Sulzmann, editors. CHR07l, September 2007. Keyword(s): CHR 2007.
  3. M. Leuschel and A. Podelski, editors. PPDP07l, July 2007. ACM. ISBN: 978-1-59593-769-8.

2006

  1. A. Bossi and M.J. Maher, editors. PPDP06l, July 2006. ACM. ISBN: 1-59593-388-3.
  2. S. Etalle and M. Truszczynski, editors. ICLP06l, volume 4079 of LNCS, August 2006. SV. [doi:10.1007/11799573]
  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.
  4. N. Kobayashi, editor. APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, volume 4279 of LNCS, November 2006. SV. ISBN: 3-540-48937-1.
  5. T. Schrijvers and Th. Frühwirth, editors. CHR06l, July 2006. KULCW, Technical report CW 452. Keyword(s): CHR 2006.

2005

  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. CUP, July 2005.
  2. P. Barahona and A.P. Felty, editors. PPDP05l, July 2005. ACM. ISBN: 1-59593-090-6.
  3. M. Gabbrielli and G. Gupta, editors. ICLP05l, volume 3668 of LNCS, October 2005. SV.
  4. T. Schrijvers and Th. Frühwirth, editors. CHR05l, 2005. KULCW, Technical report CW 421. Keyword(s): CHR 2005.
  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 UIB, February 2005. [WWW]

2004

  1. B. Demoen and V. Lifschitz, editors. ICLP04l, volume 3132 of LNCS, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475]
  2. Th. Frühwirth and M. Meister, editors. CHR04l, May 2004. Keyword(s): CHR 2004.

2003

  1. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. SV, 2003. ISBN: 3540676236. Keyword(s): tutorial.
  2. F. Buccafurri, editor. AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, September 2003.

2002

  1. M. Hanus, editor. WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of ENTCS, November 2002. Elsevier.
  2. P. J. Stuckey, editor. ICLP02l, volume 2401 of LNCS, jul/aug 2002. SV.

2001

  1. R. De Nicola and H. Sondergaard, editors. PPDP01l, September 2001. ACM. ISBN: 1-58113-388-X.

2000

  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.
  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 LNCS, 2000. SV. ISBN: 3-540-67885-9.
  3. T. Frühwirth and others, editors. RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000.
  4. T. Frühwirth and others, editors. RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000.

1999

  1. J. Jaffar, editor. CP99l, volume 1713 of LNCS, October 1999. SV. ISBN: 3-540-66626-5.

1998

  1. Marìa Teresa Escrig Monferrer and Francisco Toledo Lobo. Qualitative Spatial Reasoning: Theory and Practice --- Application to Robot Navigation. IOS Press, 1998.
  2. T. Andreasen, H. Christiansen, and H.L. Larsen, editors. FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of LNAI, May 1998. SV.
  3. M. J. Maher and J.-F. Puget, editors. CP98l, volume 1520 of LNCS, October 1998. SV. ISBN: 3-540-65224-8.

BACK TO INDEX