Now showing items 1-1 of 1

    • Reactive event calculus for monitoring global computing applications 

      Bragaglia S; Chesani F; Mello P; Montali M; Torroni P (Springer, 2012)
      In 1986 Kowalski and Sergot proposed a logic-based formalism named Event Calculus (EC), for specifying in a declarative manner how the happening of events affects some representation (the state) of the world. Since its ...