clingo
There are 65 repositories under clingo topic.
TEN-framework/ten_framework
TEN, the Next-Gen AI-Agent Framework, the world's first truly real-time multimodal AI agent framework.
potassco/clingo-rs
🗝️ Rust bindings to the clingo library
peter-gy/VisRecly
📊 A task-based visualization recommendation app. Built with draco and vega-lite.
joshuaguerin/Answer-Set-Programming-Algorithms
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
Farfi55/RiskASP
Risk board game in Unity with Bot AI using Answer set programming
susuhahnml/asp-game-strategies
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) :clubs: :game_die:
Adamouization/ASP-Timetable
:calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
py-typedlogic/py-typedlogic
Logic plus python types
thesofakillers/iclingo
🔴🟢🔵 clingo kernel for Jupyter
kasteph/clingo-notebook
A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
krr-up/flatland
A collection of the ongoing research project into the Flatland competition.
MatthiasNickles/Diff-ASP-Propagators
Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python
NEKERAFA/clingo-cs
A C# bindings of Clingo library
raceconditionrunning/relay-scheduler
Scheduling team marathon relays with Answer Set Programming
921kiyo/clingo
Answer Set Programming
barreeeiroo/JSON-Logic-ASP
Evaluate JSON Logic rules in Python using ASP with Clingo
bramucas/clingo_python_basics
Basic stuff about clingo API
felixlinker/logistik-asp
Answer set program for logistics scheduling. Part of a practical course at University.
LaurabelleKay/Timetabler
An ASP Timetabler Application
owrel/clindoc
Documentation framework for ASP, from user to contributor
samuelortion/ob-pasp
Org-Babel mode to execute Clingo Potassco code within Org-mode
egnwd/pingo
Pretty Printer for Clingo 🐧
kkKaan/metu-ceng-THEs
Some of the homeworks I have done at metu ceng.
manuamest/RCRA
The program consists of 3 files: encode.py encodes a matrix, decode.py decodes it, and shingokiKB.lp is a Clingo-based Shingoki puzzle solver.
merkouris148/adaptation-procedure-misinformation-games
An Implementation of the Adaptation Procedure in Misinformation Games, in collaboration with Constantinos Varsos and Giorgos Flouris. ICS FORTH
mesutcang/kendoku
Kendoku solver in clingo
nrizzo/3coSoKu
MiniZinc and Answer Set Programming encodings for IcoSoKu and its generalization 3coSoKu
ooinaruhugh/ipafair
Reentrant Incremental Argumentation Framework API and solver
ovidiomanteiga/deolingo
Deontic logic solver in ASP with Clingo
sjyothul/answer-set-programming
Uses declarative programming language - clingo based on programming method - ASP
VictosVertex/flatland-asp
Application of Answer Set Programming to the Flatland environment
jnispen/MBAI_kakurazu
Clingo program to solve the Kakurazu logic puzzle using Answer Set Programming (ASP) (part of Model-Based Artificial Intelligence course)
4rn3/connect_four_asp
Final project for my model based AI class in which we use Answer Set Programming (clingo)
alexbs01/RCRA
Prácticas de la asignatura de Representación del Conocimiento y Razonamiento Automático
sarthak310/Automated-Warehouse
- Programmed a state-of-the-art solution for robot-driven order fulfilment using Answer Set Programming - Formed step-by-step environmental constraints (rules) in Clingo for collision-free movement of robots - Tested and validated the code with 5 simulated warehouse scenarios, optimized product delivery time