Skip to content Skip to main menu Skip to search

Keywords – forward deduction for entailment calculus

Yuichi Goto, Shinsuke Nara and Jingde Cheng
Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security