answer-set-programming
There are 163 repositories under answer-set-programming topic.
potassco/clingo
🦉 A grounder and solver for logic programs.
TEN-framework/ten_framework
TEN, a AI agent framework to create various AI agents which supports real-time conversation.
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
uwdata/draco
Visualization Constraints and Weight Learning
robsimmons/dusa
A logic programming language that has features of both Datalog and answer set programming.
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
alpha-asp/Alpha
A lazy-grounding Answer-Set Programming system
921kiyo/symbolic-rl
Symbolic Reinforcement Learning using Inductive Logic Programming
Aluriak/clyngor
Handy python wrapper around Potassco's Clingo ASP solver.
kamel-usp/dpasp
Differentiable probabilistic answer set programming
Farfi55/CookedUp
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
joshuaguerin/Answer-Set-Programming-Algorithms
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
bramucas/xclingo2
A tool for explainability and debugging in Answer Set Programming.
bnediction/bonesis
Synthesis and Reprogramming of Most Permissive Boolean Networks
Farfi55/RiskASP
Risk board game in Unity with Bot AI using Answer set programming
py-typedlogic/py-typedlogic
Logic plus python types
Aluriak/PowerGrASP
Compress graphs
santifa/pasp-mode
An Emas Major Mode for editing Answer Set Programs
w1nte/vscode-dlv-syntax-highlighting
DLV syntax highlighter for Visual Studio Code.
cfrioux/miscoto
Python package for large-scale community selection in microbiota
susuhahnml/asp-game-strategies
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) :clubs: :game_die:
Aluriak/learning-ASP
Personal learning repository for Answer Set Programming
Aluriak/se-lang
A programmable language for SpaceEngine addons
dodaro/cnl2asp
A tool for converting CNL sentences to ASP rules.
NEKERAFA/CS-IndustryLP
An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)
StarKnightt/Calculator-using-java
This is a Calculator using java which has some graphics and you can also touch the buttons and you can calculate also.
Adamouization/ASP-Timetable
:calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
Aluriak/concept-generation
Comparison and testing of multiple concept generation method using ASP
ilveron/intelligenza-artificiale
All the scripts made for the Intelligenza Artificiale (Artificial Intelligence) course @UniversitaDellaCalabria - A.Y 2022/2023
thesofakillers/iclingo
🔴🟢🔵 clingo kernel for Jupyter
MarioAvolio/Artificial-Intelligence-for-Bomberman-Game
Implementation of Artificial Intelligence for Bomber Man Game.
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/fol2asp
A tool for translating First-Order Logic (FOL) to Answer Set Programming (ASP)
pierpaolosestito-dev/ASPEditorPlugin
ASPEditor is a VSCode Extensions that provides features such as syntax-highlighting, intellisense, code diagnostics and others for ASP,DLV,LP.