🤔 A grounder and solver for logic programs.
-
Updated
Jan 16, 2025 - C++
#
answer-set-programming
Here are 155 public repositories matching this topic...
TEN, a voice agent framework to create conversational AI.
python c rust golang workflow ai cross-platform cpp plugin-system package-management clingo answer-set-programming cross-language cloud-edge-computing cloud-store
-
Updated
Jan 21, 2025 - C
My public programs and models - mostly combinatorial problems and puzzles
comet ampl prolog choco constraint-programming constraint-satisfaction sicstus-prolog minizinc answer-set-programming gecode essence numberjack setl picat z3py eclipse-clp jacop jgap frink poplog
-
Updated
Dec 25, 2024 - JavaScript
Visualization Constraints and Weight Learning
-
Updated
Aug 7, 2023 - TypeScript
A logic programming language that has features of both Datalog and answer set programming.
-
Updated
Jan 17, 2025 - TypeScript
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
optimization probability artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver probabilistic answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving
-
Updated
Jul 1, 2024 - Scala
Symbolic Reinforcement Learning using Inductive Logic Programming
reinforcement-learning artificial-intelligence ilp answer-set-programming inductive-logic-programming symbolic-reinforcement-learning
-
Updated
Feb 10, 2023 - Lasso
A lazy-grounding Answer-Set Programming system
-
Updated
Oct 30, 2024 - Java
Handy python wrapper around Potassco's Clingo ASP solver.
-
Updated
May 18, 2023 - Python
Differentiable probabilistic answer set programming
probabilistic-programming logic-programming answer-set-programming probabilistic-logic-programming credal-sets neurosymbolic-ai
-
Updated
Nov 9, 2024 - C
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
language computer-science education algorithm algorithms logic constraint-satisfaction-problem np-hard np-complete constraint-programming logic-programming clingo answer-set-programming
-
Updated
Aug 14, 2023 - Python
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
-
Updated
Oct 4, 2023 - C#
An Emas Major Mode for editing Answer Set Programs
-
Updated
Apr 4, 2018 - Emacs Lisp
A tool for explainability and debugging in Answer Set Programming.
-
Updated
Oct 21, 2024 - Python
DLV syntax highlighter for Visual Studio Code.
-
Updated
Nov 15, 2020
Compress graphs
-
Updated
Jan 6, 2020 - Python
Synthesis and Reprogramming of Most Permissive Boolean Networks
-
Updated
Dec 30, 2024 - Python
Logic plus python types
python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml
-
Updated
Jan 11, 2025 - Python
Improve this page
Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."