Natsumi Kitajima, Shinsuke Nara, Yuichi Goto and Jingde Cheng
A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems
Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto and Jingde Cheng
An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems
