yr 〜
yr

Search results 13

Rule technologies: foundations, tools, and applications : 9th international symposium, RuleML 2015 : Berlin, Germany, August 2-5, 2015 : proceedings : annual international web rule symposium : 5th RuleML 2015 doctoral consortium : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9202)

Rule technologies: foundations, tools, and applications : 9th international symposium, RuleML 2015 : Berlin, Germany, August 2-5, 2015 : proceedings : annual international web rule symposium : 5th RuleML 2015 doctoral consortium : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9202)
Paper図書
Springer[2015]<M17-16-498>
National Diet Library
  • DDC005.1/15

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)
Paper図書
Springer[2014]<M17-15-1308>
National Diet Library
  • DDC005.1/15

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)
Paper図書
Springer[2015]<M17-16-766>
National Diet Library
  • DDC005.1/15

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)
Paper図書
Springerc2012.<M17-12-2910>
National Diet Library
  • DDC005.1/15

Rules on the web: research and applications : 6th international symposium, RuleML 2012 : Montpellier, France, August 27-29, 2012 : proceedings : RuleML 2012 doctoral consortium : Aug 2012, Montpellier, France. (Lecture Notes in Computer Science ; 7438)

Rules on the web: research and applications : 6th international symposium, RuleML 2012 : Montpellier, France, August 27-29, 2012 : proceedings : RuleML 2012 doctoral consortium : Aug 2012, Montpellier, France. (Lecture Notes in Computer Science ; 7438)
Paper図書
Springerc2012.<M17-13-589>
National Diet Library
  • DDC005.1/15

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)
Paper図書
Springerc2011.<M17-11-3202>
National Diet Library
  • DDC005.1/15

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)
Paper図書
Springerc2011.<M17-11-2321>
National Diet Library
  • DDC005.1/15

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)
Paper図書
Springerc2010.<M17-11-267>
National Diet Library
  • DDC005.1/15

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005 : Montego Bay, Jamaica, December 2-6, 2005 : proceedings. : Dec 2005, Montego Bay, Jamaica. (Lecture Notes in Computer Science ; 3835. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005 : Montego Bay, Jamaica, December 2-6, 2005 : proceedings. : Dec 2005, Montego Bay, Jamaica. (Lecture Notes in Computer Science ; 3835. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2005.<M17-06-1716>
National Diet Library
  • DDC005.1/15

Recent advances in constraints : joint ERCIM/CologNet international workshop on constraint solving and constraint logic programming : Cork, Ireland, June 19-21, 2002 : selected papers. : Jun 2002, Cork, Ireland. (Lecture Notes in Computer Science ; 2627. Lecture Notes in Artificial Intelligence)

Recent advances in constraints : joint ERCIM/CologNet international workshop on constraint solving and constraint logic programming : Cork, Ireland, June 19-21, 2002 : selected papers. : Jun 2002, Cork, Ireland. (Lecture Notes in Computer Science ; 2627. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2003.<M17-04-3014>
National Diet Library
  • DDC005.1/15

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers. : Jul 2002, Sydney, Australia. (Lecture Notes in Computer Science ; 2583. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers. : Jul 2002, Sydney, Australia. (Lecture Notes in Computer Science ; 2583. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2003.<M17-03-1125>
National Diet Library
  • DDC005.1/15

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001 : Vienna, Austria, September 17-19, 2001 : proceedings. : Sep 2001, Vienna, Austria. (Lecture Notes in Computer Science ; 2173. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001 : Vienna, Austria, September 17-19, 2001 : proceedings. : Sep 2001, Vienna, Austria. (Lecture Notes in Computer Science ; 2173. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2001.<M17-03-2248>
National Diet Library
  • DDC005.1/15

Inductive logic programming : 11th international conference, ILP 2001 : Strasbourg, France, September 9-11, 2001 : proceedings. : Sep 2001, Strasbourg, France. (Lecture Notes in Computer Science ; 2157. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 11th international conference, ILP 2001 : Strasbourg, France, September 9-11, 2001 : proceedings. : Sep 2001, Strasbourg, France. (Lecture Notes in Computer Science ; 2157. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2001.<M17-03-2409>
National Diet Library
  • DDC005.1/15

Reached to the end of result.