Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings / edited by Peter J. Stuckey.

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Stuckey, Peter J. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	Lecture Notes in Computer Science, 2401 Springer eBook Collection.
Subjects:	Architecture, Computer. Software engineering. Mathematical logic. Artificial intelligence. Computer programming. Programming languages (Electronic computers). Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
Published: (2001)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Published: (2006)

Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
Published: (2003)

Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Published: (2004)

Programming Languages Implementation and Logic Programming International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
Published: (1989)

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Published: (2007)

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
Published: (2005)

Reasoning with Logic Programming
by: Alferes, Jose Julio, et al.
Published: (1996)

Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Published: (1997)

Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part I
Published: (2002)

Functional and Logic Programming 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Published: (2002)

Logic Programming and Automated Reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Published: (1994)

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Published: (2009)

Inductive Logic Programming 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings
Published: (2001)

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Published: (2008)

Extensions of Logic Programming 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Published: (1996)

Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Published: (2002)

Parallel Execution of Logic Programs ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings
Published: (1991)

Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings
Published: (2020)

Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
Published: (1999)

Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Published: (1999)

Programming Language Implementation and Logic Programming 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings
Published: (1993)

Inductive Logic Programming 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers
Published: (2003)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Published: (2002)

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Published: (2012)

Live Data Structures in Logic Programs Derivation by Means of Abstract Interpretation
by: Mulkers, Anne
Published: (1993)

Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings
Published: (2000)

Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Published: (1997)

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Published: (2018)

Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development
Published: (2004)

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Published: (2016)

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Published: (2012)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
Published: (2010)

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Published: (2014)

Logic-Based Program Synthesis and Transformation : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings
Published: (2021)

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Published: (2002)

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Published: (2010)

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Published: (2015)

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Published: (2013)

Non-Monotonic Extensions of Logic Programming Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
Published: (1997)