Extensions of Logic Programming 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings

Extensions of Logic Programming 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings / edited by Roy Dyckhoff.

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolo...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dyckhoff, Roy (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994.
Edition:	1st ed. 1994.
Series:	Lecture Notes in Artificial Intelligence ; 798 Springer eBook Collection.
Subjects:	Software engineering. Artificial intelligence. Computer programming. Mathematical logic. 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

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

Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Published: (1992)

Extensions of Logic Programming Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
Published: (1993)

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

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

Extensions of Logic Programming International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
Published: (1991)

Logic Programming First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
Published: (1992)

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

Logic programming : proceedings of the 1999 International Conference on Logic Programming
Published: (2000)

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

Logic Program Synthesis and Transformation - Meta-Programming in Logic 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
Published: (1994)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Published: (2008)

Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
Published: (1997)

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Published: (2017)

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
Published: (2006)

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

Programming Language Implementation and Logic Programming 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
Published: (1992)

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Published: (2018)

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers
Published: (2012)

Programming Language Implementation and Logic Programming International Workshop PLILP ̀90, Linköping, Sweden, August 20-22, 1990. Proceedings
Published: (1990)

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

Programming Logics Essays in Memory of Harald Ganzinger
Published: (2013)

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

Logic programming : proceedings of the 1995 international symposium
Published: (1995)

Programming Language Implementation and Logic Programming 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
Published: (1994)

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

Logic Programming and Databases
by: Ceri, Stefano, et al.
Published: (1990)

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

Logic Program Synthesis and Transformation 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
Published: (1996)

Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming
Published: (2020)

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

Logic programming : proceedings of the Tenth International Conference on Logic Programming
Published: (1993)

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

Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings
Published: (1998)

Programming Languages: Implementations, Logics, and Programs 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings
Published: (1996)

Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings
Published: (1997)

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming
Published: (1997)

Executable Modal and Temporal Logics IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Published: (1995)

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Published: (2001)

Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Published: (2004)