Cover Image

Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming /

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the...

Full description

Bibliographic Details
Other Authors:	Gabbay, Dov M., 1945- (Editor), Hogger, Christopher John (Editor), Robinson, J. A. (John Alan) (Editor)
Format:	eBook
Language:	English
Published:	Oxford : Oxford University Press, 2020.
Series:	Oxford science publications.
Subjects:	Logic programming. Programmation logique. Logic programming Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

The journal of logic and algebraic programming.
Published: (2001)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

Fuzzy-logic-based programming /
by: Chang, Chin-Liang, 1937-
Published: (1997)

The journal of logic programming.
Published: (1984)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal
Published: (2011)

Lectures on the logic of computer programming /
by: Manna, Zohar
Published: (1980)

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings /
Published: (1999)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Foundations of inductive logic programming /
by: Nienhuys-Cheng, S. -H. (Shan-Hwei), 1943-
Published: (1997)

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
Published: (2001)

Foundations of deductive databases and logic programming /
Published: (1988)

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /
Published: (1988)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
Published: (1981)

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Published: (1996)

Programmable logic controllers /
by: Bolton, W. (William), 1933-
Published: (2006)

The Logic programming paradigm : a 25-year perspective /
Published: (1999)

Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings /
Published: (2005)

The journal of logic and algebraic programming.
Published: (2001)

Reasoning with logic programming /
by: Alferes, José Júlio
Published: (1996)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)

Programmable logic controllers /
by: Bolton, W. (William), 1933-
Published: (2006)

Programmable logic controllers /
by: Bolton, W. (William), 1933-
Published: (2009)

Programmable logic controllers /
by: Bolton, W. (William), 1933-
Published: (2009)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Published: (1995)

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings /
Published: (2004)

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /
Published: (2005)

Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers /
Published: (2006)

Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)

Philosophy of logic /
Published: (2007)

Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
Published: (1995)

Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
Published: (1989)

Aspects of inductive logic /
Published: (1966)

Meta-logics and logic programming /
Published: (1995)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published: (1994)