28. ICLP 2012: Budapest, Hungary

The ICLP 2012 proceedings consist of the following two volumes:

Agostino Dovier, Vítor Santos Costa (Eds.): Theory and Practice of Logic Programming, Volume 12 (4-5)
Contents

• 
  Agostino Dovier, Vítor Santos Costa (Eds.): Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 LIPIcs 17 ISBN 978-3-939897-43-9 [ contents ]
• 
  ICLP 2012 Home Page

27. ICLP 2011: Lexington, Kentucky, USA

The ICLP 2011 proceedings consist of the following two volumes:

John P. Gallagher, Michael Gelfond (Eds.): Theory and Practice of Logic Programming, Volume 11 (4-5)
Contents

• 
  John P. Gallagher, Michael Gelfond (Eds.): Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011 LIPIcs 11 ISBN 978-3-939897-31-6 [ contents ]
• 
  ICLP 2011 Home Page

26. ICLP 2010: Edinburgh, Scotland, UK

The ICLP 2010 proceedings consist of the following two volumes:

Manuel V. Hermenegildo, Torsten Schaub (Eds.): Theory and Practice of Logic Programming, Volume 10 (4-6)
Contents

• 
  Manuel V. Hermenegildo, Torsten Schaub (Eds.): Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010 LIPIcs 7 ISBN 978-3-939897-17-0 [ contents ]
• 
  ICLP 2010 Home Page

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. Springer 2009 Lecture Notes in Computer Science 5649 ISBN 978-3-642-02845-8 [ contents ]

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. Springer 2008 Lecture Notes in Computer Science 5366 ISBN 978-3-540-89981-5 [ contents ]

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. Springer 2007 Lecture Notes in Computer Science 4670 ISBN 978-3-540-74608-9 [ contents ]
• 
  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-WS.org 2007 CEUR Workshop Proceedings 287 [ contents ]

22. ICLP 2006: Seattle, WA, USA

• 
  ICLP 2006 Home Page
• 
  Sandro Etalle, Miroslaw Truszczynski (Eds.): Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4079 ISBN 3-540-36635-0 [ contents ]

21. ICLP 2005: Sitges (Barcelona), Spain

• 
  ICLP 2005 Home Page
• 
  Maurizio Gabbrielli, Gopal Gupta (Eds.): Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3668 ISBN 3-540-29208-X [ contents ]

20. ICLP 2004: Saint Malo, France

ICLP 2004 Home Page

• 
  Bart Demoen, Vladimir Lifschitz (Eds.): Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3132 ISBN 3-540-22671-0 [ contents ]
• 
  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. Springer 2003 Lecture Notes in Computer Science 2916 ISBN 3-540-20642-6 [ contents ]

18. ICLP 2002: Copenhagen, Denmark

• 
  Peter J. Stuckey (Ed.): Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2401 ISBN 3-540-43930-7 [ contents ]
• 
  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). Roskilde University, Roskilde, Denmark 2002 Datalogiske Skrifter95 [ contents ]

17. ICLP 2001: Paphos, Cyprus

• 
  Philippe Codognet (Ed.): Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2237 ISBN 3-540-42935-2 [ contents ]
• 
  ICLP 2001 Home Page

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. Springer 2000 Lecture Notes in Computer Science 1861 ISBN 3-540-67797-6 [ contents ]

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:

• Logic-Based Composition of Software
• Tabling in Logic Programs
• Eigth Workshop on Logic Programming Environments
• 5th Workshop on Deductive Databases and Logic Programming
• 2nd International Workshop on Logic Programming Tools for Internet Applications
• Logic programming and Multi Agent Systems

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:

• Workshop W1: Abstract Interpretation of Logic Languages
• Workshop W2/W3: Hendrik Decker, Ulich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (Eds.): Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. Gesellschaft für Mathematik und Datenverarbeitung MbH, GMD-Studien Nr. 266, 1995, ISBN 3-88457-266-0
  Contents
• Workshop W4: Inductive Logic Programming
• Workshop W5: Parallel Logic Programming

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:

• Workshop W1: Process-Based Parallel Logic Programming
• Workshop W2: Verification and Analysis of (Concurrent) Logic Languages
• Workshop W3: Logic and Reasoning with Neural Networks
• Workshop W4: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges Tekniske Høgskole, University of Trondheim, Trondheim, Norway, 1994, Available on URL ftp://idt.unit.no/pub/iclp-wlpe/wlpe.html
  Contents
• Workshop W5: Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (Eds.): Non-Monotonic Extensions of Logic Programming (NMELP'94), June 17, 1994, Selected Papers. Lecture Notes in Computer Science, Vol. 927, Springer, 1995, ISBN 3-540-59467-1
  Contents
• Workshop W6: Jonas Barklund, Bharat Jayaraman, Jiro Tanaka (Eds.): Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, Uppsala University, Computing Science Departent, June 1994
  Contents
• Workshop W7: Applications of Logic Programming to Software Engineering
• Workshop W8: Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro (Eds.): Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994
  Contents
• Workshop W9: Ulrich Geske, Dietmar Seipel (Eds.): Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, June 17, 1994, Santa Marherita Ligure, Italy. Gesellschaft für Mathematik und Datenverarbeitung MBH, GMD-Studien Nr. 231, 1994, ISBN 3-88457-231-8
  Contents
• Workshop W10: Proof-Theoretical Extensions on Logic Programming
• Workshop W11: Logic Programming and Education
• Workshop W12: Legal Application of Logic Programming

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. Springer 1991 Lecture Notes in Computer Science 569 ISBN 3-540-55038-0 [ contents ]

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. Springer 1986 Lecture Notes in Computer Science 225 ISBN 3-540-16492-8 [ contents ]

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