CASYS
International Journal of Computing Anticipatory Systems
Natsumi Kitajima, Shinsuke Nara, Yuichi Goto et Jingde Cheng
A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems
Yuichi Goto, Shinsuke Nara et Jingde Cheng
Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security
Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto et Jingde Cheng
An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems