Handy python wrapper around Potassco's Clingo ASP solver.
-
Updated
May 18, 2023 - Python
Handy python wrapper around Potassco's Clingo ASP solver.
A tool for explainability and debugging in Answer Set Programming.
Synthesis and Reprogramming of Most Permissive Boolean Networks
Compress graphs
Logic plus python types
Personal learning repository for Answer Set Programming
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP)
A programmable language for SpaceEngine addons
Python package for large-scale community selection in microbiota
🔴🟢🔵 clingo kernel for Jupyter
📆 ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
Comparison and testing of multiple concept generation method using ASP
Implementation of Artificial Intelligence for Bomber Man Game.
A tool for converting CNL sentences to ASP rules.
A collection of the ongoing research project into the Flatland competition.
(ASP) graph handling made easy
Graph compression with FCA and ASP. New versions at:
Scheduling team marathon relays with Answer Set Programming
Prototype to infer new biochemical reactions and new metabolite structures to investigate metabolic pathway drift.
Code for Specifying Goals to Deep Neural Networks with Answer Set Programming
Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.
To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."