Pinned Repositories
aartikis's Repositories
aartikis/RTEC
RTEC is an Event Calculus implementation optimised for stream reasoning
aartikis/oPIEC
Online Probabilistic Interval-based Event Calculus
RTEC is an Event Calculus implementation optimised for stream reasoning
Online Probabilistic Interval-based Event Calculus