🤔 A grounder and solver for logic programs.
-
Updated
May 15, 2024 - C++
🤔 A grounder and solver for logic programs.
My public programs and models - mostly combinatorial problems and puzzles
Visualization Constraints and Weight Learning
A lazy-grounding Answer-Set Programming system
Symbolic Reinforcement Learning using Inductive Logic Programming
Handy python wrapper around Potassco's Clingo ASP solver.
An Emas Major Mode for editing Answer Set Programs
A tool for explainability and debugging in Answer Set Programming.
Differentiable probabilistic answer set programming
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Answer Set Probramming (ASP): clingo encodings for solving Sudoku, Seek Numbers, and Minotaur games.
Source code for ASP solver of KR 2018 paper "A Hybrid Approach to Optimization in Answer Set Programming"
Course "Einführung in wissensbasierte Systeme" at Vienna University of Technology
A repository of ASP planning benchmarks
A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)
A modified version of the ASP solver WASP that enables the debugging of incoherent ASP programs together with gringo-wrapper.
🔴🟢🔵 clingo kernel for Jupyter
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
Answer Set Programming extension for the DALI MAS Framework
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."