yr 〜
yr

Search results 5

Graph structures for knowledge representation and reasoning : third international workshop, GKR 2013 : Beijing, China, August 3, 2013 : revised selected papers : IJCAI 2013 GKR workshop : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8323. Lecture Notes in Artificial Intelligence)

Graph structures for knowledge representation and reasoning : third international workshop, GKR 2013 : Beijing, China, August 3, 2013 : revised selected papers : IJCAI 2013 GKR workshop : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8323. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2014.<M17-14-1760>
National Diet Library

Web reasoning and rule systems : fourth international conference, RR 2010 : Bressanone/Brixen, Italy, September 22-24, 2010 : proceedings. : annual international conference on web reasoning and rule systems : Sep 2010, Bressanone, Italy. (Lecture Notes in Computer Science ; 6333)

Web reasoning and rule systems : fourth international conference, RR 2010 : Bressanone/Brixen, Italy, September 22-24, 2010 : proceedings. : annual international conference on web reasoning and rule systems : Sep 2010, Bressanone, Italy. (Lecture Notes in Computer Science ; 6333)
Paper図書
Springerc2010.<M17-11-252>
National Diet Library
  • Subject Heading...nsregelsystem. Inferenz <Künstliche Intelligenz> Wissensrepräsentationssprache...

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...roblemlösen -- Inferenz <Künstliche Intelligenz> -- Kongress -- Potsdam <2009>...

Argumentation in multi-agent systems : fifth international workshop, ArgMAS 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5384. Lecture Notes in Artificial Intelligence. Hot Topics)

Argumentation in multi-agent systems : fifth international workshop, ArgMAS 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5384. Lecture Notes in Artificial Intelligence. Hot Topics)
Paper図書
Springerc2009.<M17-10-758>
National Diet Library
  • Subject Heading...gumentation -- Inferenz <Künstliche Intelligenz> -- Kongress -- Estoril <2008>...

Web reasoning and rule systems : third international conference, RR 2009 : Chantilly, VA, USA, October 25-26, 2009 : proceedings. : Oct 2009, Chantilly, VA. (Lecture Notes in Computer Science ; 5837)

Web reasoning and rule systems : third international conference, RR 2009 : Chantilly, VA, USA, October 25-26, 2009 : proceedings. : Oct 2009, Chantilly, VA. (Lecture Notes in Computer Science ; 5837)
Paper図書
Springerc2009.<M17-10-1991>
National Diet Library
  • Subject Heading...regelsystem -- Inferenz <Künstliche Intelligenz> -- Kongress -- Chantilly <Va....

Reached to the end of result.