Jump to main content

yr 〜
yr

Search results 4

Logical formalizations of commonsense reasoning : papers from the AAAI spring symposium : technical report SS-11-06 : AAAI event : Mar 2011, Stanford, CA.

Logical formalizations of commonsense reasoning : papers from the AAAI spring symposium : technical report SS-11-06 : AAAI event : Mar 2011, Stanford, CA.
Paper図書
AAAI Pressc2011.<M17-12-2516>
National Diet Library

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
Paper図書
Dieter Hutter, Werner Stephan (eds.)Springerc2005
Other Libraries in Japan
  • Subject Heading...d mathematical Reasoning -- Automation Reasoning -- Technique
  • Subject Heading (ID)...d mathematical Reasoning -- Automation Reasoning -- Technique

Commonsense reasoning : an event calculus based approach : pbk 2nd ed

Commonsense reasoning : an event calculus based approach : pbk 2nd ed
Paper図書
Erik T. MuellerMorgan Kaufmann is an imprint of Elsevierc2015
Other Libraries in Japan
  • Subject HeadingCommonsense reasoning -- Automation Artificial intelligence -- Ma...
  • Subject Heading (ID)Commonsense reasoning -- Automation Artificial intelligence -- Ma...

Commonsense reasoning

Commonsense reasoning
Paper図書
Erik T. MuellerMorgan Kaufmannc2006
Other Libraries in Japan
  • Subject HeadingCommonsense reasoning -- Automation Artificial intelligence -- Ma...
  • Subject Heading (ID)Commonsense reasoning -- Automation Artificial intelligence -- Ma...

Reached to the end of result.

RSS