Jump to main content

yr 〜
yr

Search results 12

Answer set programming : [hardback]

Answer set programming : [hardback]
Paper図書
Vladimir LifschitzSpringerc2019
Other Libraries in Japan
  • Author HeadingLifschitz, Vladimir

Answer set programming : pbk

Answer set programming : pbk
Paper図書
Vladimir LifschitzSpringer2019
Other Libraries in Japan
  • Author HeadingLifschitz, Vladimir

Logic programming : 20th international conference, ICLP 2004 : Saint-Malo, France, September 6-10, 2004 : proceedings. : Sep 2004, Saint-Malo, France. (Lecture Notes in Computer Science ; 3132)

Logic programming : 20th international conference, ICLP 2004 : Saint-Malo, France, September 6-10, 2004 : proceedings. : Sep 2004, Saint-Malo, France. (Lecture Notes in Computer Science ; 3132)
Paper図書
Springerc2004.<M17-05-587>
National Diet Library
  • Author HeadingDemoen, Bart. Lifschitz, Vladimir. International Conference on ...

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
  • Author HeadingLifschitz, Vladimir. Niemelä, Ilkka, 1961- LPNMR ...

Handbook of knowledge representation

Handbook of knowledge representation
Paper図書
edited by Frank van Harmelen, Vladimir Lifschitz, Bruce PorterElsevier2008
Other Libraries in Japan
  • Author HeadingVan Harmelen, Frank Lifschitz, Vladimir Porter, Bruce

Logical formalizations of commonsense reasoning : Papers from the AAAI Spring Symposium : Technical Report SS-07-05

Logical formalizations of commonsense reasoning : Papers from the AAAI Spring Symposium : Technical Report SS-07-05
Paper図書
Eyal Amir, Vladimir Lifschitz, and Rob Miller, cochairsAAAI Pressc2007
Other Libraries in Japan
  • Author HeadingAAAI Spring Symposium Amir, Eyal Lifschitz, Vladimir Miller, Rob

Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy / edited by Vladimir Lifschitz.

Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy / edited by Vladimir Lifschitz.
Paper図書
Academic Pressc1991.<M121-A86>
National Diet Library
  • Author HeadingMcCarthy, John, 1927-2011 Lifschitz, Vladimir.

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
  • Author HeadingLPNMR Lifschitz, Vladimir Niemelä, Ilkka

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
Paper図書
Bart Demoen, Vladimir Lifschitz (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on Logic Programming Demoen, Bart Lifschitz, Vladimir

Formalizing common sense : papers by John McCarthy

Formalizing common sense : papers by John McCarthy
Paper図書
edited by Vladimir LifschitzIntellect1998
Other Libraries in Japan
  • Author HeadingMcCarthy, John Lifschitz, Vladimir

Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy

Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy
Paper図書
edited by Vladimir LifschitzAcademic Pressc1991
Other Libraries in Japan
  • Author HeadingMcCarthy, John Lifschitz, Vladimir

Formalizing common sense : papers by John McCarthy

Formalizing common sense : papers by John McCarthy
Paper図書
edited by Vladimir LifschitzAblex Pub. Corp.1989
Other Libraries in Japan
  • Author HeadingMcCarthy, John Lifschitz, Vladimir

Reached to the end of result.

RSS