Jump to main content

yr 〜
yr

Search results 16

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

Logic programming and nonmonotonic reasoning : 12th international conference, LPNMR 2013 : Corunna, Spain, September 15-19, 2013 : proceedings : LPNMR-2013 conference : Sep 2013, Corunna, Spain. (Lecture Notes in Computer Science ; 8148. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 12th international conference, LPNMR 2013 : Corunna, Spain, September 15-19, 2013 : proceedings : LPNMR-2013 conference : Sep 2013, Corunna, Spain. (Lecture Notes in Computer Science ; 8148. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-764>
National Diet Library

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
  • Subject HeadingLogic programming -- Congresses. Nonmonotonic reasoning -- Congresses. Electronic books.

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005 : Diamante, Italy, September 5-8, 2005 : proceedings. : Sep 2005, Diamante, Italy. (Lecture Notes in Computer Science ; 3662. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005 : Diamante, Italy, September 5-8, 2005 : proceedings. : Sep 2005, Diamante, Italy. (Lecture Notes in Computer Science ; 3662. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2005.<M17-06-171>
National Diet Library
  • Subject HeadingLogic programming -- Congresses. Nonmonotonic reasoning -- Congresses.

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004 : Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings. : LPNMR-7 : Jan 2004, Fort Lauderdale, FL. (Lecture Notes in Computer Science ; 2923. Lecture Notes in Artificial Intelligence)

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004 : Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings. : LPNMR-7 : Jan 2004, Fort Lauderdale, FL. (Lecture Notes in Computer Science ; 2923. Lecture Notes in Artificial Intelligence)
Paper図書
Springer-Verlagc2004.<M17-04-2510>
National Diet Library
  • Subject HeadingLogic programming -- Congresses. Nonmonotonic reasoning -- Congresses.

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
  • Subject HeadingLogic programming -- Congresses. Nonmonotonic reasoning -- Congresses.

Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings

Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings
Paper図書
James P. Delgrande, Wolfgang Faber (eds.)Springerc2011
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings

Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings
Paper図書
Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)Springerc2009
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

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)
Paper図書
Springerc2009.<M17-10-1766>
National Diet Library
  • Subject Heading...-- Congresses. Nonmonotonic reasoning -- Congresses. Frage-Antwort-System -- Logi...

Logic programming and nonmonotonic reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 : proceedings

Logic programming and nonmonotonic reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 : proceedings
Paper図書
Chitta Baral, Gerhard Brewka, John Schlipf (eds.)Springerc2007
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings

Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
Paper図書
Chitta Baral ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

Logic programming and nonmonotonic reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

Logic programming and nonmonotonic reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
Paper図書
Vladimir Lifschitz, Ilkka Niemelä (eds.)Springerc2004
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
Paper図書
Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)Springerc2001
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
Paper図書
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)Springerc1999
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
Paper図書
Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)Springerc1997
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers : kart

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers : kart
Paper図書
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)Springerc1997
Other Libraries in Japan
  • Subject HeadingLogic programming -- Congresses Nonmonotonic reasoning -- Congresses
  • Subject Heading (ID)Logic programming -- Congresses Nonmonotonic reasoning -- Congresses

Reached to the end of result.

RSS