Projects in Awesome Lists tagged with answer-set-programming

https://github.com/potassco/clingo

🦉 A grounder and solver for logic programs.

answer-set-programming declarative-programming logic-programming

Last synced: 21 Oct 2025

https://github.com/TEN-framework/ten_framework

TEN, a AI agent framework to create various AI agents which supports real-time conversation.

ai ai-agents answer-set-programming c clingo cloud-edge-computing cloud-store cpp cross-language cross-platform golang javascript nodejs package-management plugin-system python rust typescript workflow

Last synced: 08 Mar 2025

https://github.com/hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

ampl answer-set-programming choco comet constraint-programming constraint-satisfaction eclipse-clp essence frink gecode jacop jgap minizinc numberjack picat poplog prolog setl sicstus-prolog z3py

Last synced: 09 Apr 2025

https://github.com/uwdata/draco

Visualization Constraints and Weight Learning

answer-set-programming vega visualization-constraints visualization-recommendation

Last synced: 09 Apr 2025

https://github.com/robsimmons/dusa

A logic programming language that has features of both Datalog and answer set programming.

answer-set-programming datalog forward-chaining logic-programming

Last synced: 14 Apr 2025

https://github.com/alpha-asp/Alpha

A lazy-grounding Answer-Set Programming system

answer-set-programming lazy-grounding logic-programming solver

Last synced: 10 Jan 2026

https://github.com/aluriak/clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

answer-set-programming python python-library python3 wrapper

Last synced: 22 Apr 2025

https://github.com/aluriak/powergrasp

Compress graphs

answer-set-programming graph-compression python python-library

Last synced: 22 Apr 2025

https://github.com/bnediction/bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

answer-set-programming boolean-networks synthesis systems-biology

Last synced: 09 Jul 2025

https://github.com/cfrioux/miscoto

Python package for large-scale community selection in microbiota

answer-set-programming bioinformatics microbiome symbiont

Last synced: 29 Jul 2025

https://github.com/aluriak/se-lang

A programmable language for SpaceEngine addons

answer-set-programming json language modding modding-tools python space-engine

Last synced: 22 Apr 2025

https://github.com/dodaro/cnl2asp

A tool for converting CNL sentences to ASP rules.

answer-set-programming controlled-natural-language

Last synced: 16 Jan 2026

https://github.com/aluriak/learning-asp

Personal learning repository for Answer Set Programming

answer-set-programming learning

Last synced: 22 Apr 2025

https://github.com/thesofakillers/iclingo

🔴🟢🔵 clingo kernel for Jupyter

answer-set-programming clingo ipykernel jupyter kernel logic-programming

Last synced: 18 Apr 2025

https://github.com/adamouization/asp-timetable

:calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)

answer-set-programming asp clingo json prolog python tkinter tkinter-gui

Last synced: 11 Apr 2025

https://github.com/aluriak/concept-generation

Comparison and testing of multiple concept generation method using ASP

answer-set-programming benchmark formal-concept-analysis

Last synced: 11 Jun 2025

https://github.com/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.

addition algorithms-and-data-structures answer-set-programming calculator calculator-application divide equal java multiplication substraction substraction-java

Last synced: 06 Jul 2025

https://github.com/kasteph/clingo-notebook

A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!

answer-set-programming clingo docker potassco

Last synced: 07 Oct 2025

https://github.com/aluriak/powergrasp-1

Graph compression with FCA and ASP. New versions at:

answer-set-programming compression graph python

Last synced: 12 Apr 2025

https://github.com/aluriak/phasme

(ASP) graph handling made easy

answer-set-programming graph graph-theory python

Last synced: 22 Apr 2025

https://github.com/jcrozum/biobalm

The biologist's Boolean attractor landscape mapper, building Waddington landscapes from Boolean networks.

answer-set-programming attractors biology boolean-networks control-theory discrete-dynamics feedback-vertex-set network-science petri-nets systems-biology waddington-landscape

Last synced: 22 Sep 2025

https://github.com/aluriak/pytest-asptest

pytest plugin to test ASP code

answer-set-programming pytest-plugin python

Last synced: 24 Feb 2025

https://github.com/barreeeiroo/json-logic-asp

Evaluate JSON Logic rules in Python using ASP with Clingo

answer-set-programming clingo json-logic

Last synced: 12 Apr 2025

https://github.com/abeer-dyoub/EthicalEvalMAS

A MAS system for ethical monitoring and evaluation of dialog systems

answer-set-programming inductive-logic-programming machine-learning multi-agent-systems prolog-parser

Last synced: 19 Jul 2025

https://github.com/aluriak/asp-for-fca

Answer Set Programming programs about Formal Concept Analysis

answer-set-programming formal-concept-analysis

Last synced: 16 Nov 2025

https://github.com/cfrioux/fluto

answer-set-programming bioinformatics flux-balance-analysis gap-filling linear-programming metabolic-models metabolic-network metabolic-reconstruction

Last synced: 17 Nov 2025

https://github.com/lorenzoranucci/rectangle_packing

Rectangle packing algorithm in Prolog and ASP

answer-set-programming declarative-programming prolog rectangle-packing

Last synced: 07 Jul 2025

https://github.com/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

ai answer-set-programming clingo

Last synced: 06 Mar 2025