Coursera Machine Learning By Prof. Andrew Ng

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"

Marinetraffic AIS density map toolbox

Natural Language (NL) to Linear Temporal Logic (LTL)

SIMROUTE: Weather Ship Routing (WSR) Code. The software is constructed considering available Copernicus Marine Environment Monitoring Service (CMEMS) wave predictions systems of free use.

A Java framework for detecting and fixing formal inconsistency in Knowledge Graphs

The new intelligent grounder of the logic-based Artificial Intelligence system DLV

A professionally curated list of awesome resources (paper, code, data, etc.) on transformers in time series.

'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.

Online Probabilistic Interval-based Event Calculus

An implementation of differential dataflow using timely dataflow on Rust.

RTEC is an Event Calculus implementation optimised for stream reasoning

Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.

Implementation for my M.Sc. thesis project

CORE: a COmplex event Recognition Engine

A neuro-symbolic reasoning system that can scale to a large number of raw inputs.

Cached and Indexed EC for Diabetes Monitoring

A rule-based stream reasoning engine utilizing sliding windows

top-down interpreter for ASP programs with constraints

An Early Time-Series Classification Suite for benchmarking algorithms. CER group, Institute of Informatics & Telecommunications, NCSR "Demokritos"

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Logtalk - declarative object-oriented logic programming language

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Deep relational learning through differentiable logic programming.

Refactored, latest version of OLED & WOLED plus more tools for for online logical & relational learning.

A framework for the parallel model exploration and evaluation of tumor cell growth simulations.