Back to top

Software

RTEC: Event Calculus for Run-Time reasoning

RTEC is an open-source Event Calculus dialect optimised for stream reasoning written in Prolog. (preview)

A Probabilistic Logic Programming Event Calculus

Prob-EC is a system based on ProbLog and Event Calculus optimised for event recognition under uncertainty.

ILED: Incremental Learning of Event Definitions

ILED is an incremental Inductive Logic Programming system. It has been designed for scalable learning of logical theories from large amounts of sequential data with a time-like structure. ILED has been designed having in mind the construction of knowledge for event recognition applications, in particular, learning Event Calculus theories, but it can practically be used within any domain where ILP is applicable. (preview)

OLED: Online Learning of Event Definitions

OLED is an online ('single-pass') Inductive Logic Programming system for learning logical theories from data streams. It has been designed having in mind the construction of knowledge bases for event recognition applications, in the form of domain-specific axioms in the Event Calculus, i.e. rules that specify the conditions under which simple, low-level events initiate or terminate complex event. However, OLED can practically be used within any domain where ILP is applicable (preferably, large volumes of sequential data with a time-like structure).