Jump to main content

yr 〜
yr

Search results 27

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
  • Summary, etc....rogramming and Nonmonotonic Reasoning, LPNMR 2015, h......c programming, nonmonotonic reasoning, and knowledge......esentation and nonmonotonic reasoning.
  • Subject Heading...g--Congresses. Nonmonotonic reasoning--Congresses. L......c programming. Nonmonotonic reasoning.

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

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 boo...

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.

Nonmonotonic reasoning : logical foundations of commonsense : paperback

Nonmonotonic reasoning : logical foundations of commonsense : paperback
Paper図書
Gerhard BrewkaCambridge University Press2010
Other Libraries in Japan
  • Subject HeadingNonmonotonic reasoning Logic
  • Subject Heading (ID)Nonmonotonic reasoning Logic

Explanatory nonmonotonic reasoning

Explanatory nonmonotonic reasoning
Paper図書
Alexander BochmanWorld Scientificc2005
Other Libraries in Japan
  • Subject HeadingNonmonotonic reasoning
  • Subject Heading (ID)Nonmonotonic reasoning

Bridges from classical to nonmonotonic logic

Bridges from classical to nonmonotonic logic
Paper図書
David MakinsonKing's Collegec2005
Other Libraries in Japan
  • Subject HeadingNonmonotonic reasoning Induction (Logic)
  • Subject Heading (ID)Nonmonotonic reasoning Induction (Logic)

Logics of organization theory : audiences, codes, and ecologies : pbk

Logics of organization theory : audiences, codes, and ecologies : pbk
Paper図書
Michael T. Hannan, László Pólos, Glenn R. CarrollPrinceton University Pressc2007
Other Libraries in Japan
  • Subject HeadingOrganizational sociology -- Methodology Nonmonotonic reasoning Categories (Philosophy)
  • Subject Heading (ID)Organizational sociology -- Methodology Nonmonotonic reasoning Categories (Philosophy)

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-...

Coherent systems

Coherent systems
Paper図書
Karl SchlechtaElsevierc2004
Other Libraries in Japan
  • Subject HeadingNonmonotonic reasoning Algebraic logic Semantics -- ...
  • Subject Heading (ID)Nonmonotonic reasoning Algebraic logic Semantics -- ...

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents
Paper図書
Gabriele Kern-IsbernerSpringerc2001
Other Libraries in Japan
  • Subject HeadingNonmonotonic reasoning Conditionals (Logic)
  • Subject Heading (ID)Nonmonotonic reasoning Conditionals (Logic)

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

A logical theory of nonmonotonic inference and belief change : [pbk.]

A logical theory of nonmonotonic inference and belief change : [pbk.]
Paper図書
Alexander BochmanSpringerc2001
Other Libraries in Japan
  • Subject HeadingNonmonotonic reasoning Belief and doubt Expert syste...
  • Subject Heading (ID)Nonmonotonic reasoning Belief and doubt Expert syste...

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

Nonmonotonic reasoning

Nonmonotonic reasoning
Paper図書
Grigoris Antoniou ; with contributions by Mary-Anne WilliamsMIT Pressc1997
Other Libraries in Japan
  • Subject HeadingNonmonotonic reasoning
  • Subject Heading (ID)Nonmonotonic reasoning

Nonmonotonic reasoning : an overview : hbk : pbk

Nonmonotonic reasoning : an overview : hbk : pbk
Paper図書
Gerhard Brewka, Jürgen Dix, and Kurt KonoligeCSLI Publicationsc1997
Other Libraries in Japan
  • Subject HeadingNonmonotonic reasoning Logic
  • Subject Heading (ID)Nonmonotonic reasoning Logic

Nonmonotonic logics : basic concepts, results, and techniques

Nonmonotonic logics : basic concepts, results, and techniques
Paper図書
Karl SchlechtaSpringerc1997
Other Libraries in Japan
  • Subject HeadingDefault reasoning Logic Artificial intelligence Nonmonotonic reasoning
  • Subject Heading (ID)Default reasoning Logic Artificial intelligence Nonmonotonic reasoning

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
RSS