TEN, a voice agent framework to create conversational AI.
📊 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.
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP)
Logic plus python types
🔴🟢🔵 clingo kernel for Jupyter
📆 ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
A collection of the ongoing research project into the Flatland competition.
A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
Scheduling team marathon relays with Answer Set Programming
A C# bindings of Clingo library
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
Evaluate JSON Logic rules in Python using ASP with Clingo
Documentation framework for ASP, from user to contributor
Add a description, image, and links to the clingo topic page so that developers can more easily learn about it.
To associate your repository with the clingo topic, visit your repo's landing page and select "manage topics."