An efficient implementation of Reactive Event Calculus in SCIFF
MetadataShow full item record
In this work, we propose a reactive version of the Event Calculus (EC) implemented on top of the SCIFF framework. Being reactive, such an implementation is able to dynamically update the status of fluents as events occur. Therefore, it can be employed to perform run-time reasoning and monitoring.