CASYS
International Journal of Computing Anticipatory 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, Shinsuke Nara and Jingde Cheng
Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security
Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto and Jingde Cheng
An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems