後藤祐一 GOTO Yuichi

研究者番号	70400801
その他のID
所属 (現在)	2025年度: 埼玉大学, 理工学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2007年度 – 2009年度: 埼玉大学, 大学院・理工学研究科, 助教 2008年度: 埼玉大学, 大学院理工学研究科, 助教 2007年度 – 2008年度: 埼玉大学, 理工学研究科, 助教 2006年度: 埼玉大学, 大学院理工学研究科, 助手
審査区分/研究分野	研究代表者知能情報学研究代表者以外ソフトウエア
キーワード	研究代表者自動発見 / 知識工学 / 情報システム研究代表者以外時間規範相関論理 / 汎用先行推論エンジン / 規範相関論理 / 行動推論 / 時間相関論理 / 先行推論 / 永続計算システム / 反応的システム / ソフトウェア工学

汎用的な自動定理発見ツールの実現と応用研究代表者
- 研究代表者
  
  後藤祐一
- 研究期間 (年度)
  2007 – 2008
- 研究種目
  
  若手研究(B)
- 研究分野
  
  知能情報学
- 研究機関
  埼玉大学
先行予測に基づく反応的システムの実現と応用
- 研究代表者
  
  程京徳
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  埼玉大学

すべて 2010 2009 2008 2007 2006

すべて雑誌論文学会発表

[雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010
- 著者名/発表者名
  Takahiro Koh, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computational Science (印刷中)
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010
- 著者名/発表者名
  Takahiro Koh, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computational Science Vol. 4, No. 3
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings,Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2009
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  Vol.5572(Springer-Verla)
  
  ページ: 68-76
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  LectureNotesinArtificialIntelligence 5572
  
  ページ: 68-72
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 5572
  
  ページ: 68-76
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- 雑誌名
  
  AIP Conference Proceedings 1051
  
  ページ: 244-254
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Fast Duplication Checking algorithm for Forward Reasoning Engines2008
- 著者名/発表者名
  T. Koh, Y.Goto, J.Cheng
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 5178
  
  ページ: 499-507
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] A Fast Duplication Checking Algorithm for Forward Reasoning Engines2008
- 著者名/発表者名
  Takahiro Koh, Yuichi Goto, and Jingde Cheng
- 雑誌名
  
  "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings" (I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.)), Lecture Notes in Artificial Intelligence (Subs Vol. 5178
  
  ページ: 499-507
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] Continuous Reactability of Persistent Computing Systems2008
- 著者名/発表者名
  Yuichi GOTO, Takumi ENDO, Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol. 20
  
  ページ: 219-229
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol. 20
  
  ページ: 177-190
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi Kitajima, Shisuke Nara, Yuichi Goto, and Jingde Cheng
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol. 20
  
  ページ: 177-190
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory System2008
- 著者名/発表者名
  N. Kitajima, Y. Goto, J. Cheng
- 雑誌名
  
  International Journal of Computing Anticipatory Systems 20
  
  ページ: 177-190
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems 20
  
  ページ: 177-190
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008
- 著者名/発表者名
  Yuichi Goto, Takahiro Koh, and Jingde Cheng
- 雑誌名
  
  "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II"(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.)), Lecture Notes in Artificial Intelligen Vol. 5178
  
  ページ: 526-535
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008
- 著者名/発表者名
  Jingde Cheng, Yuichi Goto, and Natsumi Kitajima
- 雑誌名
  
  "Computing Anticipatory Systems: CASYS 2007 - Eighth International Conference, Liege, Belgium, 6-11 August 2007"(D. M. Dubois (Ed.)), AIP Conference Proceedings(American Institute of Physics) Vol. 1051
  
  ページ: 244-254
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] A Fast Duplication Checking Algorithm for Forward RAsoning Engines2008
- 著者名/発表者名
  Takahiro KOH, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 5178
  
  ページ: 499-507
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Low Cost and Resilient Message Queuing Middleware2008
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computer Science and Network Security Vol. 8, No. 8
  
  ページ: 225-237
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008
- 著者名/発表者名
  J. Cheng, Y. Goto, N. Kitajima
- 雑誌名
  
  AIP Conference Proceedings 1051
  
  ページ: 244-254
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008
- 著者名/発表者名
  Yuichi GOTO, Takahiro KOH, and Jingde CHENG
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 5178
  
  ページ: 526-535
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] "Computing Anticipatory Systems : CASYS 2007-Eighth International Conference,Liege, Belgium, 6-11 August 2007,"AIP Conference Proceedings2008
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- 雑誌名
  
  Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems(in D. M. Dubois(Ed.))(Best Paper Award awarded at the Eighth International Conference on Computing Anticipatory Systems)(The American Institute of Physics) Vol.1051
  
  ページ: 244-254
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Low Cost and Resilient Message Queuing Middleware2008
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  International Journal of Computer Science and Network Security 8
  
  ページ: 225-237
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A General Forward Reasoning algorithm for Various Logic Systems with Different Formalizations2008
- 著者名/発表者名
  Y. Goto, T. Koh, J. Cheng
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 5178
  
  ページ: 526-535
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] Continuous Reactability of Persistent Computing Systems2008
- 著者名/発表者名
  Yuichi GOTO, Takumi ENDO, and Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems 20
  
  ページ: 219-229
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing2007
- 著者名/発表者名
  Jingde Cheng, Yuichi Goto, Shinsuke Nara, and Takahiro Koh
- 雑誌名
  
  "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II"(B. Apolloni, R. J. Howlett, and L. C. Vol. 4693
  
  ページ: 840-851
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] EPLAS: An Epistemic Programming Language for All Scientists2007
- 著者名/発表者名
  Isao TAKAHASHI, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  Lecture Notes in Computer Science 4487
  
  ページ: 406-413
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing2007
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Shinsuke NARA, and Takahiro KOH
- 雑誌名
  
  Lecture Notes in Computer Science 4693
  
  ページ: 840-851
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] FreeEnCal: A Forward Reasoning Engine with General-Purpose2007
- 著者名/発表者名
  Jingde Cheng, Shinsuke Nara, and Yuichi Goto
- 雑誌名
  
  "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II"(B. Apolloni, R. J. Howlett, and L. C. Vol. 4693
  
  ページ: 444-452
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic2007
- 著者名/発表者名
  Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  Electronic Notes in Theoretical Computer Science Vol. 169
  
  ページ: 87-97
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing2007
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Shinsuke NARA, and Takahiro KOH
- 雑誌名
  
  Lecture Notes in Computer Science 4693
  
  ページ: 845-851
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007,XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy,September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2007
- 著者名/発表者名
  Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
- 雑誌名
  
  FreeEnCal : A Forward Reasoning Engine with General-Purpose(in B. Apolloni, R.J. Howlett, and L.C. Jain(Eds.)) Vol.4693(Springer-Verlag)
  
  ページ: 444-452
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] FreeEnCal:A Forward Reasoning Engine with General-Purpose2007
- 著者名/発表者名
  Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
- 雑誌名
  
  Lecture Notes in Computer Science 4693
  
  ページ: 444-452
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] Measuring Reactability of Persistent Computing Systems2007
- 著者名/発表者名
  Takumi ENDO, Yuichi GOTO, and Jingde CHENG
- 雑誌名
  
  Lecture Notes in Computer Science 4829
  
  ページ: 144-151
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] EPLAS: An Epistemic Programming Language for All Scientists2007
- 著者名/発表者名
  Isao Takahashi, Shinsuke Nara, Yuichi Goto, and Jingde Cheng
- 雑誌名
  
  "Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part I"(Y. Shi (Eds.)), Lecture Notes in Computer Science(Springer-Verlag) Vol. 4487
  
  ページ: 406-413
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] FreeEnCal: A Forward Reasoning Engine with General-Purpose2007
- 著者名/発表者名
  Jingde CHENG, Shinsuke NARA, and Yuichi GOTO
- 雑誌名
  
  Lecture Notes in Computer Science 4693
  
  ページ: 444-452
- 査読あり
- データソース
  KAKENHI-PROJECT-19700127
[雑誌論文] An Anticipatory Reasoning Engine for Computing Anticipatory Systems2006
- 著者名/発表者名
  Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol. 18
  
  ページ: 225-234
- 査読あり
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] A Comparative Study between Soft System Bus and Traditional Middlewares2006
- 著者名/発表者名
  Mohammad REza SELIM, Takumi ENDO, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  Lecture Notes in Computer Science Vol.4278
  
  ページ: 1264-1273
- データソース
  KAKENHI-PROJECT-18300005
[雑誌論文] An Anticipatory Reasoning Engine for Computing Anticipatory Systems2006
- 著者名/発表者名
  Shinsuke NARA, Feng SHANG, Takashi OMI, Yuichi GOTO, Jingde CHENG
- 雑誌名
  
  International Journal of Computing Anticipatory Systems Vol.18
  
  ページ: 225-234
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] An Improvement of REM : A Replication Oriented Event-based Middleware2009
- 著者名/発表者名
  Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 4th International Conference on Availability, Reliability and Security
- 発表場所
  Fukuoka, Japan, IEEE Computer Society Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- 学会等名
  Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings(E. Corchado, X. Wu, E. Oja (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Fast Anticipatory Reasoning for Computing Anticipatory Systems2009
- 著者名/発表者名
  Takahiro KOH, Yuichi GOTO, Jingde CHENG
- 学会等名
  Ninth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege, Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems2009
- 著者名/発表者名
  Yuichi GOTO, Ryota KUBONIWA, Jingde CHENG
- 学会等名
  Ninth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege, Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 3rd International Conference on Availability, Reliability and Security
- 発表場所
  Barcelona, Spain, IEEE Computer Society Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] An Improvement of REM: A Replication Oriented Event-based Middleware2008
- 著者名/発表者名
  Youcheng CHEN, Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- 学会等名
  4th International Conference on Availability, Reliability and Security
- 発表場所
  福岡工業大学
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Ensuring Reliability and Availability of Soft System Bus2008
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- 学会等名
  2nd IEEE International Conference on Secure System Integration and Reliability Improvement
- 発表場所
  横浜市国際交流協会
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Fast Duplication Checking Algorithm for Forward Reasoning Engines2008
- 著者名/発表者名
  Takahiro KOH, Yuichi GOTO, Jingde CHENG
- 学会等名
  Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi Kitajima, Yuichi Goto, and Jingde Cheng
- 学会等名
  Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08)(IEEE Computer Society Press), pp. 171-178
- 発表場所
  Barcelona, Spain
- 年月日
  2008-03-04
- データソース
  KAKENHI-PROJECT-19700127
[学会発表] Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- 学会等名
  3rd Intemational Conference on Availability, Reliability and Security
- 発表場所
  Barcelona,Spain
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Ensuring Reliability and Availability of Soft System Bus2008
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement(The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society)
- 発表場所
  Yokohama, Japan
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008
- 著者名/発表者名
  Yuichi GOTO, Takahiro KOH, Jingde CHENG
- 学会等名
  Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings(I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems (Invited Paper)2008
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Natsumi KITAJIMA
- 学会等名
  Computing Anticipatory Systems : CASYS 2007-Eighth International Conference, Liege, Belgium, 6-11 August 2007, AIP Conference Proceedings (D. M. Dubois (Ed.))
- 発表場所
  The American Institute of Physics
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Fast Qualitative Reasoning about Actions for Computing Antic ipatory Systems2008
- 著者名/発表者名
  Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG
- 学会等名
  The 3rd International Conference on Availability, Reliability and Security
- 発表場所
  Barcelona, Spain
- データソース
  KAKENHI-PROJECT-19700127
[学会発表] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning Reacting Systems2007
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, and Natsumi KITAJIMA
- 学会等名
  Eighth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege,Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Replication Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks2007
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-Hoc Computing : held at the ACM/IFIP/USENIX 8th International Middleware Conference
- 発表場所
  Newport Beach, USA, ACM Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Measuring Reactability of Persistent Computing Systems2007
- 著者名/発表者名
  Takumi ENDO, Yuichi GOTO, Jingde CHENG
- 学会等名
  Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers(M. Lumpe and W. Vanderperren (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] FreeEnCal : A Forward Reasoning Engine with General-Purpose2007
- 著者名/発表者名
  Jingde CHENG, Shinsuke NARA, Yuichi GOTO
- 学会等名
  Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II(B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.))
- 発表場所
  Springer-Verlag
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2007
- 著者名/発表者名
  Natsumi KITAJIMA, Shinsuke NARA, Yuichi GOTO, and Jingde CHENG
- 学会等名
  Eighth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege,Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Distributed Hash Table based Implementation of Soft System Buses2007
- 著者名/発表者名
  Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, and Jingde CHENG
- 学会等名
  2nd International Conference on Scalable Information Systems
- 発表場所
  Suzhou,China
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Rephcation Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks2007
- 著者名/発表者名
  Mohammad Reza SELIM, Yuichi GOTO, and Jingde CHENG
- 学会等名
  5th Intemational Wbrkshop on Middleware fbr Pervasive and Ad-Hoc Computing
- 発表場所
  Newport Beach,USA
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] ENQUETE-BAISE:A General-Purpose E-Questionnaire Server fbr Ubiquitous Questiomaire2007
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Masato KOIDE, Keigo NAGAHAMA, Masami SOMEYA, Yusuke UTSUMI, and Ayaka SHIONOIRI
- 学会等名
  2nd IEEE Asia-Pacific Services Computilg Conference
- 発表場所
  Tsukuba,Japan
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Distributed Hash Table based Implementation of Soft System Buses2007
- 著者名/発表者名
  Mohammad Reza SELIM, Takumi ENDO, Yuichi GOTO, Jingde CHENG
- 学会等名
  Proceedings of the 2nd International Conference on Scalable Information Systems, ACM International Conference Proceeding Series
- 発表場所
  Suzhou, China, ACM Press
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Continuous Reactabiity of Persistent Computing Systems2007
- 著者名/発表者名
  Yuichi GOTO, Takumi ENDO, and Jingde CHENG
- 学会等名
  Eighth International Conference on Computing Anticipatory Systems
- 発表場所
  Liege,Belgium
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] Persistent Computing Systems as an Infrastructure for Pervasive Services2006
- 著者名/発表者名
  Jingde CHENG, Yuichi GOTO, Masami SOMEYA, Takumi ENDO
- 学会等名
  Proceedings of the 1st International Symposium on Pervasive Computing and Applications
- 発表場所
  Urumchi, China, IEEE
- データソース
  KAKENHI-PROJECT-18300005
[学会発表] A Prototype Implementation of an Anticipatory Reasoning-Reacting System (Invited Paper)2006
- 著者名/発表者名
  Feng SHANG, Shinsuke NARA, Takashi OMI, Yuichi GOTO, Jingde CHENG
- 学会等名
  Computing Anticipatory Systems : CASYS 2005-Seventh International Conference, Liege, Belgium, 8-13 August 2005(D. M. Dubois (Ed.))
- 発表場所
  American Institute of Physics
- データソース
  KAKENHI-PROJECT-18300005

1. 程京徳 (30217228)

共同の研究課題数: 1件

共同の研究成果数: 47件

後藤 祐一 GOTO Yuichi

研究課題

研究成果

共同研究者

汎用的な自動定理発見ツールの実現と応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

先行予測に基づく反応的システムの実現と応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings,Lecture Notes in Artificial Intelligence(Subseries of Lecture Notes in Computer Science)2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Fast Duplication Checking algorithm for Forward Reasoning Engines2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Fast Duplication Checking Algorithm for Forward Reasoning Engines2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Continuous Reactability of Persistent Computing Systems2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory System2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Fast Duplication Checking Algorithm for Forward RAsoning Engines2008

著者名/発表者名

雑誌名

データソース

後藤祐一 GOTO Yuichi