ALPUK91 Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991

ALPUK91 Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991 / edited by Geraint A. Wiggins, Chris Mellish, Tim Duncan.

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many cha...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Wiggins, Geraint A. (Editor), Mellish, Chris (Editor), Duncan, Tim (Editor)
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint: Springer, 1992.
Edition:	1st ed. 1992.
Series:	Workshops in Computing, Springer eBook Collection.
Subjects:	Computer programming. Computer logic. Artificial intelligence. 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

ALPUK92 Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992
Published: (1993)

Programming Language Implementation and Logic Programming 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. 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)

Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Published: (2002)

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 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 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers
Published: (2012)

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Published: (2008)

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

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Published: (2010)

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

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

Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
Published: (2001)

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

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

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 International Workshop PLILP ̀90, Linköping, Sweden, August 20-22, 1990. Proceedings
Published: (1990)

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

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

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

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

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

Logic Programming and Nonmonotonic Reasoning Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Published: (1995)

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Published: (2006)

The Logic of Partial Information
by: Nait Abdallah, Areski
Published: (1995)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Published: (2005)

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

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

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Published: (2017)

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

Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Published: (2001)

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

CONCUR '91 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
Published: (1991)

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

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

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

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

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

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Published: (2014)

Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Published: (2000)