aartikis
Follow
Stars
Unlock maritime intelligence: Transform raw S-57 charts into powerful routing graphs for vessel optimization, navigational hazard avoidance, and data-driven route planning.
An official code repository for the paper "Argumentative Large Language Models for Explainable and Contestable Claim Verification"
This repo contains the compliance checker for Symboleo.
Generative Agents for Multi-agent Autoformalization
MobilityDB is a geospatial trajectory data management & analysis platform, built on PostgreSQL and PostGIS.
MobiML - a framework for machine learning from movement data
Code for Lightning-fast In-memory Temporal Indexing
A tool to perform optimization of ship routes based on fuel consumption in different weather conditions
Simple, unified interface to multiple Generative AI providers
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
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.
aartikis / oPIEC
Forked from Periklismant/oPIECOnline 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.