年 〜
年

検索結果 192 件

Case-based reasoning research and development : 21st international conference, ICCBR 2013 : Saratoga Springs, NY, USA, July 8-11, 2013 : proceedings : Jul 2013, Saratoga Springs, NY. (Lecture Notes in Computer Science ; 7969. Lecture Notes in Artificial Intelligence)

Case-based reasoning research and development : 21st international conference, ICCBR 2013 : Saratoga Springs, NY, USA, July 8-11, 2013 : proceedings : Jul 2013, Saratoga Springs, NY. (Lecture Notes in Computer Science ; 7969. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-13-3401>
国立国会図書館
  • 件名Case-based reasoning--Congresses.

2016 qualitative reasoning about software architectures : (QRASA 2016) : Venice, Italy : 5-8 April 2016 : 1st workshop on qualitative reasoning about software architectures : WICSA&CompArch 2016 : Apr 2016, Venice, Italy.

2016 qualitative reasoning about software architectures : (QRASA 2016) : Venice, Italy : 5-8 April 2016 : 1st workshop on qualitative reasoning about software architectures : WICSA&CompArch 2016 : Apr 2016, Venice, Italy.
紙図書
IEEE[2016]<M17-17-2493>
国立国会図書館
  • 件名...s. Qualitative reasoning--Congresses. Qualitative reasoning. Softwa...

Case-based reasoning research and development : 20th international conference, ICCBR 2012 : Lyon, France, September 3-6, 2012 : proceedings : Sep 2012, Lyon, France. (Lecture Notes in Computer Science ; 7466. Lecture Notes in Artificial Intelligence)

Case-based reasoning research and development : 20th international conference, ICCBR 2012 : Lyon, France, September 3-6, 2012 : proceedings : Sep 2012, Lyon, France. (Lecture Notes in Computer Science ; 7466. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2012.<M17-13-614>
国立国会図書館
  • 件名Case-based reasoning--Congresses.

Case-based reasoning research and development : 22nd international conference, ICCBR 2014 : Cork, Ireland, September 29-October 1, 2014 : proceedings : Sep 2014, Cork, Ireland. (Lecture Notes in Computer Science ; 8765. Lecture Notes in Artificial Intelligence)

Case-based reasoning research and development : 22nd international conference, ICCBR 2014 : Cork, Ireland, September 29-October 1, 2014 : proceedings : Sep 2014, Cork, Ireland. (Lecture Notes in Computer Science ; 8765. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-705>
国立国会図書館
  • 件名Case-based reasoning--Congresses. Case-based reasoning.

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)
紙図書
Springer[2015]<M17-16-766>
国立国会図書館
  • 件名.... Nonmonotonic reasoning--Congresses. Logic programming. Nonmonoton...

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)
紙図書
Springerc2013.<M17-14-764>
国立国会図書館
  • 件名Logic programming--Congresses. Nonmonotonic reasoning--Congresses.

Uncertainty reasoning for the semantic web III : ISWC international workshops : URSW 2011-2013 : revised selected papers : 7th international workshop on uncertainty reasoning for the semantic web : 8th international workshop on uncertainty reasoning for the semantic web : 9th international workshop on uncertainty reasoning for the semantic web : ------. (Lecture Notes in Computer Science ; 8816. Lecture Notes in Artificial Intelligence)

Uncertainty reasoning for the semantic web III : ISWC international workshops : URSW 2011-2013 : revised selected papers : 7th international workshop on uncertainty reasoning for the semantic web : 8th international workshop on uncertainty reasoning for the semantic web : 9th international workshop on uncertainty reasoning for the semantic web : ------. (Lecture Notes in Computer Science ; 8816. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-556>
国立国会図書館
  • 件名Uncertainty (Information theory)--Congresses. Semantic Web--Congresses. Reasoning--Congresses.

KR : proceedings, thirteenth international conference on principles of knowledge representation and reasoning : KR lecture : KR 2012 doctoral consortium : knowledge representation and reasoning (KR&R) conferences : Jun 2012, Rome, Italy.

KR : proceedings, thirteenth international conference on principles of knowledge representation and reasoning : KR lecture : KR 2012 doctoral consortium : knowledge representation and reasoning (KR&R) conferences : Jun 2012, Rome, Italy.
紙図書
AAAI Pressc2012.<M17-12-3955>
国立国会図書館
  • 件名Knowledge representation (Information theory)--Congresses. Reasoning--Congresses.

Commonsense knowledge : papers from the AAAI fall symposium : technical report FS-10-02. : AAAI event : Nov 2010, Arlington, VA.

Commonsense knowledge : papers from the AAAI fall symposium : technical report FS-10-02. : AAAI event : Nov 2010, Arlington, VA.
紙図書
AAAI Pressc2010.<M17-11-2414>
国立国会図書館

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)
紙図書
Springerc2011.<M17-11-2321>
国立国会図書館

The uses of computational argumentation : papers from the AAAI fall symposium : technical report FS-09-06. : AAAI event : Nov 2009, Arlington, VA.

The uses of computational argumentation : papers from the AAAI fall symposium : technical report FS-09-06. : AAAI event : Nov 2009, Arlington, VA.
紙図書
AAAI Pressc2009.<M17-10-1878>
国立国会図書館

Symbolic and quantiative approaches to reasoning with uncertainty : 12th European conference, ECSQARU 2013 : Utrecht, the Netherlands, July 8-10, 2013 : proceedings : biennial ECSQARU conferences : ECSQARU events : Jul 2013, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 7958. Lecture Notes in Artificial Intelligence)

Symbolic and quantiative approaches to reasoning with uncertainty : 12th European conference, ECSQARU 2013 : Utrecht, the Netherlands, July 8-10, 2013 : proceedings : biennial ECSQARU conferences : ECSQARU events : Jul 2013, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 7958. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-14-550>
国立国会図書館
  • 件名...e--Congresses. Reasoning--Congresses. Uncertainty (Information theo...

2014 21st international symposium on temporal representation and reasoning : (TIME 2014) : Verona, Italy : 8-10 September 2014 : Sep 2014, Verona, Italy.

2014 21st international symposium on temporal representation and reasoning : (TIME 2014) : Verona, Italy : 8-10 September 2014 : Sep 2014, Verona, Italy.
紙図書
IEEE[2014]<M17-16-2088>
国立国会図書館
  • 件名...e--Congresses. Reasoning--Congresses. Time--Congresses. Temporal da...

2011 eighteenth international symposium on temporal representation and reasoning : (TIME 2011) : Lubeck, Germany : 12-14 September : Sep 2011, Lubeck, Germany.

2011 eighteenth international symposium on temporal representation and reasoning : (TIME 2011) : Lubeck, Germany : 12-14 September : Sep 2011, Lubeck, Germany.
紙図書
IEEEc2011.<M17-12-2418>
国立国会図書館
  • 件名...e--Congresses. Reasoning--Congresses. Time--Congresses. Temporal da...

KR : proceedings, eleventh international conference on principles of knowledge representation and reasoning. : KR-2008 : knowledge representation and reasoning (KR&R) conferences : Sep 2008, Sydney, Australia.

KR : proceedings, eleventh international conference on principles of knowledge representation and reasoning. : KR-2008 : knowledge representation and reasoning (KR&R) conferences : Sep 2008, Sydney, Australia.
紙図書
AAAI Pressc2008.<M17-09-1229>
国立国会図書館

2013 20th international symposium on temporal representation and reasoning : (TIME 2013) : Pensacola, Florida, USA : 26-28 September 2013 : Sep 2013, Pensacola, FL.

2013 20th international symposium on temporal representation and reasoning : (TIME 2013) : Pensacola, Florida, USA : 26-28 September 2013 : Sep 2013, Pensacola, FL.
紙図書
IEEE[2013]<M17-15-1109>
国立国会図書館
  • 件名...l--Congresses. Reasoning--Congresses. Artificial intelligence--Cong...

2016 23rd international symposium on temporal representation and reasoning : (TIME 2016) : Kongens Lyngby, Denmark : 17-19 October 2016 : Oct 2016, Kongens Lyngby, Denmark.

2016 23rd international symposium on temporal representation and reasoning : (TIME 2016) : Kongens Lyngby, Denmark : 17-19 October 2016 : Oct 2016, Kongens Lyngby, Denmark.
紙図書
IEEE[2016]<M17-18-1578>
国立国会図書館
  • 件名...l--Congresses. Reasoning--Congresses. Artificial intelligence--Cong...

Symbolic and quantitative approaches to reasoning with uncertainty : 10th European conference, ECSQARU 2009 : Verona, Italy, July 1-3, 2009 : proceedings. : biennial ECSQARU conferences : Jul 2009, Verona, Italy. (Lecture Notes in Computer Science ; 5590. Lecture Notes in Artificial Intelligence)

Symbolic and quantitative approaches to reasoning with uncertainty : 10th European conference, ECSQARU 2009 : Verona, Italy, July 1-3, 2009 : proceedings. : biennial ECSQARU conferences : Jul 2009, Verona, Italy. (Lecture Notes in Computer Science ; 5590. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-752>
国立国会図書館

2010 17th international symposium on temporal representation and reasoning : (TIME 2010) : Paris, France : 6-8 September 2010 : Sep 2010, Paris, France.

2010 17th international symposium on temporal representation and reasoning : (TIME 2010) : Paris, France : 6-8 September 2010 : Sep 2010, Paris, France.
紙図書
IEEEc2010.<M17-12-762>
国立国会図書館
  • 件名...e--Congresses. Reasoning--Congresses. Time--Congresses. Temporal da...

Case-based reasoning research and development : 18th international conference on case-based reasoning, ICCBR 2010 : Alessandria, Italy, July 19-22, 2010 : proceedings. : ICCBR events : Jul 2010, Alessandria, Italy. (Lecture Notes in Computer Science ; 6176. Lecture Notes in Artificial Intelligence)

Case-based reasoning research and development : 18th international conference on case-based reasoning, ICCBR 2010 : Alessandria, Italy, July 19-22, 2010 : proceedings. : ICCBR events : Jul 2010, Alessandria, Italy. (Lecture Notes in Computer Science ; 6176. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-11-155>
国立国会図書館