answer-set-programming
There are 144 repositories under answer-set-programming topic.
potassco/clingo
🤔 A grounder and solver for logic programs.
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
uwdata/draco
Visualization Constraints and Weight Learning
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
921kiyo/symbolic-rl
Symbolic Reinforcement Learning using Inductive Logic Programming
alpha-asp/Alpha
A lazy-grounding Answer-Set Programming system
Aluriak/clyngor
Handy python wrapper around Potassco's Clingo ASP solver.
robsimmons/dusa
A petrifyingly good logic programming language
kamel-usp/dpasp
Differentiable probabilistic answer set programming
joshuaguerin/Answer-Set-Programming-Algorithms
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
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.
bnediction/bonesis
Synthesis and Reprogramming of Most Permissive Boolean Networks
bramucas/xclingo2
A tool for explainability and debugging in Answer Set Programming.
Farfi55/CookedUp
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
Aluriak/learning-ASP
Personal learning repository for Answer Set Programming
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:
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
Aluriak/se-lang
A programmable language for SpaceEngine addons
cfrioux/miscoto
Python package for large-scale community selection in microbiota
thesofakillers/iclingo
🔴🟢🔵 clingo kernel for Jupyter
MarioAvolio/Artificial-Intelligence-for-Bomberman-Game
Implementation of Artificial Intelligence for Bomber Man Game.
AAAI-DISIM-UnivAQ/ASP_DALI
Answer Set Programming extension for the DALI MAS Framework
Aluriak/phasme
(ASP) graph handling made easy
Aluriak/PowerGrASP-1
Graph compression with FCA and ASP. New versions at:
ilveron/intelligenza-artificiale
All the scripts made for the Intelligenza Artificiale (Artificial Intelligence) course @UniversitaDellaCalabria - A.Y 2022/2023
kasteph/clingo-notebook
A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
MatthiasNickles/fol2asp
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
mushthofa/ffasp
Finite Fuzzy Answer Set Programming Solver
pierpaolosestito-dev/ASPEditorPlugin
ASPEditor is a VSCode Extensions that provides features such as syntax-highlighting, intellisense, code diagnostics and others for ASP,DLV,LP.