5 citations · 29 across the 26 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Event Calculus Meets Hybrid ASP
Ondřej Vašíček, Joaquín Arias, Jan Fiedor +5
Event Calculus (EC) implemented in answer set programming (ASP) has proven suitable for specifying requirements on safety-critical systems thanks to its elegant representation of b…
cs.LO2026
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…