Authors - Goto Yuichi

Yuichi Goto and Jingde Cheng

A Transformation Mechanism between Sensory Data and Logical Formulas for Anticipatory Reasoning-Reacting Systems

Kai Shi, Kazunori Wagatsuma, Yuichi Goto and Jingde Cheng

World Model, Predictive Model, and Behavioral Model of an Anticipatory Reasoning-Reacting System for Runway Incursion Prevention

Yuichi Goto, Shinsuke Nara and Jingde Cheng

Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security

Takahiro Koh, Yuichi Goto and Jingde Cheng

Fast Anticipatory Reasoning for Computing Anticipatory Systems

Yuichi Goto, Ryota Kuboniwa and Jingde Cheng

Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems

Natsumi Kitajima, Shinsuke Nara, Yuichi Goto and Jingde Cheng

A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems

Yuichi Goto, Takumi Endo and Jingde Cheng

Continuous Reactability of Persistent Computing Systems

Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto and Jingde Cheng

An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems