Cover Image

Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings /

Show other versions (1)

Bibliographic Details
Corporate Author:	ILP (Conference)
Other Authors:	Kramer, Stefan, Prof. Dr, Pfahringer, Bernhard
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2005]
Series:	Lecture notes in computer science ; 3625. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming > Congresses. Automatic hypothesis formation > Congresses.
Online Access:	Connect to the full text of this electronic book

Similar Items

Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings /
Published: (2005)

Mechanizing hypothesis formation : mathematical foundations for a general theory /
by: Hájek, Petr
Published: (1978)

Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings /
Published: (2000)

Automated model building /
by: Caferra, Ricardo, 1945-, et al.
Published: (2004)

Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings /
Published: (2004)

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings /
Published: (2003)

Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings /
Published: (2001)

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers /
Published: (1997)

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers /
Published: (2003)

Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers /
Published: (2007)

Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings /
Published: (1997)

Induction and hypothesis ; a study of the logic of confirmation.
by: Barker, Stephen Francis
Published: (1957)

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /
Published: (2005)

Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
Published: (1993)

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
Published: (2000)

Inductive logic programming : 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : revised selected papers /
Published: (2008)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /
Published: (2007)

Inductive logic programming : 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers /
Published: (2011)

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /
Published: (1992)

Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
Published: (2003)

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers /
Published: (1997)

Inductive logic programming : 17th international conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers /
Published: (2008)

Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings /
Published: (1997)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
Published: (2006)

Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers /
Published: (2007)

Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised papers /
Published: (2010)

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
Published: (2002)

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

Inductive logic programming : techniques and applications /
by: Lavrač, Nada
Published: (1994)

From logic design to logic programming : theorem proving techniques and P-functions /
by: Snyers, Dominique, 1959-
Published: (1987)

Computational logic : logic programming and beyond /
Published: (2002)

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

Inductive logic programming /
Published: (1992)

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings /
Published: (1993)

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings /
Published: (1991)

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

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

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

Logic programming : proceedings of the eleventh International Conference on Logic Programming /
Published: (1994)