年 〜
年

検索結果 206 件

Latest advances in inductive logic programming

Latest advances in inductive logic programming
紙図書
Stephen H. Muggleton & Hiroaki Watanabe.Imperial College Press[2015]<M159-B154>
国立国会図書館
  • LCCQA76.63

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning (Intelligent systems reference library ; volume 88)

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning (Intelligent systems reference library ; volume 88)
紙図書
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.Springer[2015]<M159-B158>
国立国会図書館
  • LCCQA76.63

Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings : joint LPNMR-ADT doctoral consortium : 1st joint ADT/LPNMR 2015 doctoral consortium : Sep 2015, Lexington, KY. (Lecture Notes in Computer Science ; 9345. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 13th international conference, LPNMR 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings : joint LPNMR-ADT doctoral consortium : 1st joint ADT/LPNMR 2015 doctoral consortium : Sep 2015, Lexington, KY. (Lecture Notes in Computer Science ; 9345. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2015]<M17-16-766>
国立国会図書館
  • LCCQA76.63

Inductive logic programming : 23rd international conference, ILP 2013 : Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers : Aug 2013, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 8812. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 23rd international conference, ILP 2013 : Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers : Aug 2013, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 8812. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-1308>
国立国会図書館
  • LCCQA76.63

Inductive logic programming : 22nd international conference, ILP 2012 : Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers : Sep 2012, Dubrovnik, Croatia. (Lecture Notes in Computer Science ; 7842. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 22nd international conference, ILP 2012 : Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers : Sep 2012, Dubrovnik, Croatia. (Lecture Notes in Computer Science ; 7842. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-13-3370>
国立国会図書館
  • LCCQA76.63

Web reasoning and rule systems : 7th international conference, RR 2013 : Mannheim, Germany, July 27-29, 2013 : proceedings : Jul 2013, Mannheim, Germany. (Lecture Notes in Computer Science ; 7994)

Web reasoning and rule systems : 7th international conference, RR 2013 : Mannheim, Germany, July 27-29, 2013 : proceedings : Jul 2013, Mannheim, Germany. (Lecture Notes in Computer Science ; 7994)
紙図書
Springerc2013.<M17-14-116>
国立国会図書館

Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18 : Mérida, Venezuela, March 11-15, 2012 : proceedings : LPAR workshop : Mar 2012, Mérida, Venezuela. (Lecture Notes in Computer Science ; 7180. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18 : Mérida, Venezuela, March 11-15, 2012 : proceedings : LPAR workshop : Mar 2012, Mérida, Venezuela. (Lecture Notes in Computer Science ; 7180. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-12-2910>
国立国会図書館
  • LCCQA76.63

Inductive logic programming : 20th international conference, ILP 2010 : Florence, Italy, June 27-30, 2010 : revised papers. : Jun 2010, Florence, Italy. (Lecture Notes in Computer Science ; 6489. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 20th international conference, ILP 2010 : Florence, Italy, June 27-30, 2010 : revised papers. : Jun 2010, Florence, Italy. (Lecture Notes in Computer Science ; 6489. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-11-3202>
国立国会図書館
  • LCCQA76.63

Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011 : Vancouver, Canada, May 16-19, 2011 : proceedings. : LPNMR-11 : May 2011, Vancouver, Canada. (Lecture Notes in Computer Science ; 6645. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011 : Vancouver, Canada, May 16-19, 2011 : proceedings. : LPNMR-11 : May 2011, Vancouver, Canada. (Lecture Notes in Computer Science ; 6645. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-11-2321>
国立国会図書館
  • LCCQA76.63

A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (eds.). (Lecture notes in computer science ; 6125 ; State-of-the-art survey)

A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (eds.). (Lecture notes in computer science ; 6125 ; State-of-the-art survey)
紙図書
Springerc2010.<X>
国立国会図書館
  • LCCQA76.63

Inductive logic programming : 19th international conference, ILP 2009 : Leuven, Belgium, July 02-04, 2009 : revised papers. : ILP-2009 : Jul 2009, Leuven, Belgium. (Lecture Notes in Computer Science ; 5989. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 19th international conference, ILP 2009 : Leuven, Belgium, July 02-04, 2009 : revised papers. : ILP-2009 : Jul 2009, Leuven, Belgium. (Lecture Notes in Computer Science ; 5989. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-11-139>
国立国会図書館
  • LCCQA76.63

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17 : Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. : LPAR : Oct 2010, Yogyakarta, Indonesia. (Lecture Notes in Computer Science ; 6397. Advanced Research in Computing and Software Science)
紙図書
Springerc2010.<M17-11-267>
国立国会図書館
  • LCCQA76.63

Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009 : Potsdam, Germany, September 14-18, 2009 : proceedings. : Sep 2009, Potsdam, Germany. (Lecture Notes in Computer Science ; 5753. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009 : Potsdam, Germany, September 14-18, 2009 : proceedings. : Sep 2009, Potsdam, Germany. (Lecture Notes in Computer Science ; 5753. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-1766>
国立国会図書館
  • LCCQA76.63

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)
紙図書
Springerc2008.<M17-09-1306>
国立国会図書館
  • LCCQA76.63

Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008 : Valencia, Spain, July 17-18, 2008 : revised selected papers. : Jul 2008, Valencia, Spain. (Lecture Notes in Computer Science ; 5438)

Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008 : Valencia, Spain, July 17-18, 2008 : revised selected papers. : Jul 2008, Valencia, Spain. (Lecture Notes in Computer Science ; 5438)
紙図書
Springerc2009.<M17-09-1304>
国立国会図書館
  • LCCQA76.63

Inductive logic programming : 18th international conference, ILP 2008 : Prague, Czech Republic, September 10-12, 2008 : proceedings. : Sep 2008, Prague, Czech Republic. (Lecture Notes in Computer Science ; 5194. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 18th international conference, ILP 2008 : Prague, Czech Republic, September 10-12, 2008 : proceedings. : Sep 2008, Prague, Czech Republic. (Lecture Notes in Computer Science ; 5194. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-09-205>
国立国会図書館
  • LCCQA76.63

Probabilistic inductive logic programming : theory and applications / Luc De Raedt ... [et al.] (eds.). (Lecture notes in computer science ; 4911 ; Lecture notes in artificial intelligence. State-of-the-art survey)

Probabilistic inductive logic programming : theory and applications / Luc De Raedt ... [et al.] (eds.). (Lecture notes in computer science ; 4911 ; Lecture notes in artificial intelligence. State-of-the-art survey)
紙図書
Springerc2008.<X>
国立国会図書館
  • LCCQA76.63

Inductive logic programming : 17th international conference, ILP 2007 : Corvallis, OR, USA, June 19-21, 2007 : revised selected papers. : Jun 2007, Corvallis, OR. (Lecture Notes in Computer Science ; 4894. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 17th international conference, ILP 2007 : Corvallis, OR, USA, June 19-21, 2007 : revised selected papers. : Jun 2007, Corvallis, OR. (Lecture Notes in Computer Science ; 4894. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-08-1250>
国立国会図書館
  • LCCQA76.63

Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers. : Aug 2007, Kongens Lyngby, Denmark. (Lecture Notes in Computer Science ; 4915)

Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007 : Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers. : Aug 2007, Kongens Lyngby, Denmark. (Lecture Notes in Computer Science ; 4915)
紙図書
Springerc2008.<M17-08-943>
国立国会図書館
  • LCCQA76.63

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings. : Nov 2008, Doha, Qatar. (Lecture Notes in Computer Science ; 5330. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008 : Doha, Qatar, November 22-27, 2008 : proceedings. : Nov 2008, Doha, Qatar. (Lecture Notes in Computer Science ; 5330. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-10-536>
国立国会図書館
  • LCCQA76.63