TEN, a AI agent framework to create various AI agents which supports real-time conversation.

🗝️ Rust bindings to the clingo library

📊 A task-based visualization recommendation app. Built with draco and vega-lite.

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Risk board game in Unity with Bot AI using Answer set programming

Logic plus python types

Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) ♣️ 🎲

🔴🟢🔵 clingo kernel for Jupyter

📆 ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)

Extended logic puzzle solver of noq.

A collection of the ongoing research project into the Flatland competition.

A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!

A C# bindings of Clingo library

Scheduling team marathon relays with Answer Set Programming

Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodel optimization. For Clingo (https://potassco.org/) + Python

Documentation framework for ASP, from user to contributor

A repo for my bachelor thesis

An ASP Timetabler Application

Answer set program for logistics scheduling. Part of a practical course at University.

Answer Set Programming