On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming

Ondřej Vašíček, Joaquin Arias, Jan Fiedor +5

It has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather s…