TEN, the Next-Gen AI-Agent Framework, the world's first truly real-time multimodal AI agent framework.

🗝️ 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

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

🔴🟢🔵 clingo kernel for Jupyter

Logic plus python types

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

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

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

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 multimodels optimization. For Clingo (https://potassco.org/) + Python

An ASP Timetabler Application

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

Basic stuff about clingo API

Answer Set Programming

Documentation framework for ASP, from user to contributor

Org-Babel mode to execute Clingo Potassco code within Org-mode