{"repo":"aartikis/RTEC","free":true,"listed":false,"github":"https://github.com/aartikis/RTEC","clone":"git clone https://github.com/aartikis/RTEC.git","description":"RTEC is an Event Calculus implementation optimised for stream reasoning","language":"Prolog","stars":104,"topics":["logic-programming","data-stream-processing","artificial-intelligence","data-science","complex-event-processing","multi-agent-systems","stream-reasoning","stream-processing","cep","event-calculus"],"license":"LGPL-3.0","category":"data-pipelines","readme_excerpt":"RTEC: Run-Time Event Calculus RTEC is an open-source Event Calculus dialect optimised for data stream reasoning. It is written in Prolog and has been tested under SWI-Prolog in Linux, MacOS and Windows. License RTEC comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions; see the GNU Lesser General Public License v3 for more details. Documentation Latest documentation. Feedback For more information and feedback, do not hesitate sending us an email or adding an issue in this repository. Related Software - iRTEC: Incremental RTEC. iRTEC supports incremental reasoning, handling efficiently the delays and retractions in data streams. - oPIEC: Online Probabilistic Interval-Based Event Calculus. oPIEC supports Event Calculus reasoning over data streams under uncertainty. - Wayeb: Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala. It is based on symbolic automata and Markov models.","default_branch":null,"files":null,"tree":[],"storefront":"/r/aartikis","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/aartikis/RTEC/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}