GOTO Yuichi 後藤祐一

… Alternative Names

後藤祐一ゴトウユウイチ

Less

Researcher Number	70400801
Other IDs
Affiliation (Current)	2025: 埼玉大学, 理工学研究科, 准教授
Affiliation (based on the past Project Information) *help	2007 – 2009: 埼玉大学, 大学院・理工学研究科, 助教 2008: Saitama University, 大学院理工学研究科, 助教 2007 – 2008: Saitama University, 理工学研究科, 助教 2006: 埼玉大学, 大学院理工学研究科, 助手
Review Section/Research Field	Principal Investigator Intelligent informatics Except Principal Investigator Software
Keywords	Principal Investigator 自動発見 / 知識工学 / 情報システム Except Principal Investigator 時間規範相関論理 / 汎用先行推論エンジン / 規範相関論理 / 行動推論 / 時間相関論理 / 先行推論 / 永続計算システム / 反応的システム / ソフトウェア工学

An Automated Theorem Finding System for General-purpose and Its ApplicationsPrincipal Investigator
- Principal Investigator
  
  GOTO Yuichi
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Saitama University
Implementation and Applications of Anticipatory Reasoning-Reacting Systems
- Principal Investigator
  
  CHENG Jingde (CHENG JINGDE)
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Saitama University

All 2010 2009 2008 2007 2006

All Journal Article Presentation

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

1. CHENG Jingde (30217228)

# of Collaborated Projects: 1 results

# of Collaborated Products: 47 results

GOTO Yuichi 後藤 祐一

後藤 祐一 ゴトウ ユウイチ

Research Projects

Research Products

Co-Researchers

An Automated Theorem Finding System for General-purpose and Its ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementation and Applications of Anticipatory Reasoning-Reacting Systems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010

Author(s)

Journal Title

Data Source

[Journal Article] A Fast Algorithm for Derivation Process in Forward Reasoning Engines2010

Author(s)

Journal Title

Data Source

[Journal Article] 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

Author(s)

Journal Title

Data Source

[Journal Article] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009

Author(s)

Journal Title

Data Source

[Journal Article] Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control2009

Author(s)

Journal Title

Data Source

[Journal Article] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008

Author(s)

Journal Title

Data Source

[Journal Article] A Fast Duplication Checking algorithm for Forward Reasoning Engines2008

Author(s)

Journal Title

Data Source

[Journal Article] A Fast Duplication Checking Algorithm for Forward Reasoning Engines2008

Author(s)

Journal Title

Data Source

[Journal Article] Continuous Reactability of Persistent Computing Systems2008

Author(s)

Journal Title

Data Source

[Journal Article] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008

Author(s)

Journal Title

Data Source

[Journal Article] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008

Author(s)

Journal Title

Data Source

[Journal Article] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory System2008

Author(s)

Journal Title

Data Source

[Journal Article] A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems2008

Author(s)

Journal Title

Data Source

[Journal Article] A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations2008

Author(s)

Journal Title

Data Source

[Journal Article] Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems2008

Author(s)

Journal Title

Data Source

[Journal Article] A Fast Duplication Checking Algorithm for Forward RAsoning Engines2008

Author(s)

Journal Title

GOTO Yuichi 後藤祐一

後藤祐一ゴトウユウイチ