dblp.uni-trier.de www.uni-trier.de

International Conference on Logic Programming

25. ICLP 2009: Pasadena, CA, USA

Patricia M. Hill, David Scott Warren (Eds.): Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5649 Springer 2009, ISBN 978-3-642-02845-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

24. ICLP 2008: Udine, Italy

Maria Garcia de la Banda, Enrico Pontelli (Eds.): Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Lecture Notes in Computer Science 5366 Springer 2008, ISBN 978-3-540-89981-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

23. ICLP 2007: Porto, Portugal

Verónica Dahl, Ilkka Niemelä (Eds.): Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings. Lecture Notes in Computer Science 4670 Springer 2007, ISBN 978-3-540-74608-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - ICLP 2007 Home Page

Axel Polleres, David Pearce, Stijn Heymans, Edna Ruckhaus (Eds.): Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007. CEUR Workshop Proceedings 287 CEUR-WS.org 2007
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

22. ICLP 2006: Seattle, WA, USA

Sandro Etalle, Miroslaw Truszczynski (Eds.): Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4079 Springer 2006, ISBN 3-540-36635-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - ICLP 2006 Home Page

21. ICLP 2005: Sitges (Barcelona), Spain

Maurizio Gabbrielli, Gopal Gupta (Eds.): Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3668 Springer 2005, ISBN 3-540-29208-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - ICLP 2005 Home Page

20. ICLP 2004: Saint Malo, France

Bart Demoen, Vladimir Lifschitz (Eds.): Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings. Lecture Notes in Computer Science 3132 Springer 2004, ISBN 3-540-22671-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - ICLP 2004 Home Page
Workshop on Teaching Logic Programming - TeachLP 2004

19. ICLP 2003: Mumbai, India

Catuscia Palamidessi (Ed.): Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings. Lecture Notes in Computer Science 2916 Springer 2003, ISBN 3-540-20642-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - ICLP 2003 Home Page

18. ICLP 2002: Copenhagen, Denmark

Peter J. Stuckey (Ed.): Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2401 Springer 2002, ISBN 3-540-43930-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
Part of FLoC'02 - ICLP 2002 Home Page

Colloquium on Implementation of Constraint and LOgic Programming Systems

Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai (Eds.): Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC). Datalogiske Skrifter 95 Roskilde University, Roskilde, Denmark 2002
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

17. ICLP 2001: Paphos, Cyprus

Philippe Codognet (Ed.): Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Lecture Notes in Computer Science 2237 Springer 2001, ISBN 3-540-42935-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
ICLP 2001 Home Page
Workshop on Complex Reasoning on Geographical Data

ICLP 2000: London, UK

ICLP 2000 is integrated into CL:

John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861 Springer 2000, ISBN 3-540-67797-6
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

16. ICLP 1999: Las Cruces, New Mexico, USA

Danny De Schreye (Ed.): Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999. The MIT Press, ISBN 0-262-54104-1
Contents - ICLP 1999 Home Page

Workshop on Verification of Logic Programs, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(1) 1999

WOID'99: Workshop on Optimization and Implementation of Declarative Programs, Las Cruces (New Mexico, USA), December 2-3, 1999. Electronic Notes in Theoretical Computer Science 30(2) 1999

Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming . Electronic Notes in Theoretical Computer Science 30(3) 1999

WLPE'99, Tenth Workshop on Logic Programming Environments, Las Cruces, New Mexico, USA, November 29, 1999. Electronic Notes in Theoretical Computer Science 30(4) 1999

15. JICSLP 1998: Manchester, UK

Joxan Jaffar (Ed.): Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, 15-19 June 1998. The MIT Press, ISBN 0-262-60031-5
Contents

Konstantinos F. Sagonas (Ed.): Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, held in conjunction with the Joint International Conference and Symposium on Logic Programming, Manchester, U.K., Saturday 20th June, 1998.
Workshop Home Page
Full proceedings of the workshop
Contents

14. ICLP 1997: Leuven, Belgium

Lee Naish: Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, July 8-11, 1997, Leuven, Belgium. MIT Press, 1997, ISBN 0-262-64035-X
Contents

Post Conference Workshops:

13. JICSLP 1996: Bonn, Germany

Michael J. Maher (Ed.): Logic Programing, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, September 2-6, 1996, Bonn, Germany. MIT Press, 1996, ISBN 0-262-63173-3
Contents - JICSLP 1996 WWW Server

Post Conference Workshops:
Parallelism and Implementation Technology for Constraint Logic Programming
Deductive Databases and Logic Programming
Multi-Paradigm Logic Programming
Workshop on Logic Programming Tools for Internet Applications

12. ICLP 1995: Tokyo, Japan

Leon Sterling (Ed.): Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan. MIT Press 1995, ISBN 0-262-69177-9
Contents
ICLP 1995 WWW server (Keio University, Institute of Environmental Information, Japan)

Post-Conference Workshops:

11. ICLP 1994: Santa Margherita Ligure, Italy

Pascal Van Hentenryck (Ed.): Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, June 13-18, 1994, Santa Marherita Ligure, Italy. MIT Press 1994, ISBN 0-262-72022-1
Contents

Post-Conference Workshops:

10. ICLP 1993: Budapest, Hungary

David Scott Warren (Ed.): Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, June 21-25, 1993, Budapest, Hungary. MIT Press 1993, ISBN 0-262-73105-3
Contents

Giancarlo Succi, Giancarlo Colla (Eds.): Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, June 25, 1993
Contents
The final versions of some papers from this workshop appeared in the book:

Evan Tick, Giancarlo Succi (Eds.): Implementations of Logic Programming Systems. Kluwer Academic Publishers, Boston 1994, ISBN 0-7923-9457-7, Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems
Contents

Christian Schulte, Gerd Smolka: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993. A compressed TAR file with this (informal) proceedings is available from DFKI, a zip file is available from the City University Constraint Archive by Michael Jampel.
Contents

K. De Bosschere, J.-M. Jacquet, P. Tarau (Eds.): Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, Budapest, Hungary, June 24, 1993.
Contents

Workshop on Logic Programming with Sets, 24 June 1993, organizers: Eugenio G. Omodeo, Gianfranco Rossi
Program

First Workshop on Abduction in Logic Programming, ???

9. ICLP (JICSLP) 1992: Washington, DC

Krzysztof R. Apt (Ed.): Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, November 1992. MIT Press 1992, ISBN 0-262-51064-2
Contents

Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel (Eds.): Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, November 13, 1992. Mathematical Sciences Institute, Cornell University
Contents

Mireille Ducassé, Yow-Jian Lin, L. Ümit Yalçinalp (Eds.): Proceedings of the 4th Workshop on LOGIC PROGRAMMING ENVIRONMENTS (LPE 1992), November 13th, 1992, In conjunction with JICSLP 1992, Washington, DC, USA. Technical Report TR 92-143, Case Western Reserver University, Cleveland
Contents

Workshop on Concurrent and Parallel Implementations

8. ICLP 1991: Paris, France

Koichi Furukawa (Ed.): Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991. MIT Press 1991, ISBN 0-262-56058-5
Contents

Jean-Marie Jacquet: Constructing Logic Programs. Wiley 1993, ISBN 0-471-93789-4. This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP.
Contents

Anthony Beaumont, Gopal Gupta (Eds.): Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings. Lecture Notes in Computer Science 569 Springer 1991, ISBN 3-540-55038-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Mireille Ducassé, Gérard Ferrand (Eds.): Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6
Contents

7. ICLP 1990: Jerusalem, Israel

David H. D. Warren, Péter Szeredi (Eds.): Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990. MIT Press 1990, ISBN 0-262-73090-1
Contents

Mireille Ducassé, Anna-Maria Emde, Anthony J. Kusalik, Jacob Levy (Eds.): Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25
Contents

6. ICLP 1989: Lisbon, Portugal

Giorgio Levi, Maurizio Martelli (Eds.): Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989. MIT Press 1989, ISBN 0-262-62065-0
Contents

5. ICLP/SLP 1988: Seattle, Washington

Robert A. Kowalski, Kenneth A. Bowen: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988. MIT Press 1988, ISBN 0-262-61056-6 (2 Volumes)
Contents

4. ICLP 1987: Melbourne, Victoria

Jean-Louis Lassez (Ed.): Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987. MIT Press 1987, ISBN 0-262-12125-5 (2 Volumes)
Contents

3. ICLP 1986: London, England

Ehud Y. Shapiro (Ed.): Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Lecture Notes in Computer Science 225 Springer 1986, ISBN 3-540-16492-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

2. ICLP 1984: Uppsala, Sweden

Sten-Åke Tärnlund (Ed.): Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 2-6, 1984. Uppsala University
Contents

1. ICLP 1982: Marseille, France

Michel Van Caneghem (Ed.): Proceedings of the First International Logic Programming Conference, September, 14-17th, 1982. Faculté des Science de Luminy, ADDP-GIA, Marseille, France, 1982
Contents

Copyright © Fri Mar 12 17:14:32 2010 by Michael Ley (ley@uni-trier.de)