|
|
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
- 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
- ICLP 2006 Home Page
- ICLP 2005 Home Page
- ICLP 2004 Home Page
- ICLP 2003 Home Page
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
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
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
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
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
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:
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
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:
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:
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, ???
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
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
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
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