#

answer-set-programming

Here are 77 public repositories matching this topic...

RiskASP

Farfi55 / RiskASP

Risk board game in Unity with Bot AI using Answer set programming

game csharp unity risk artificial-intelligence clingo answer-set-programming unity2d unical dlv embasp

Updated Jun 7, 2023
C#

Aluriak / clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

python wrapper python-library python3 answer-set-programming

Updated May 18, 2023
Python

CaptainUnbrauchbar / asp-language-support

A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).

asp potato clingo answer-set-programming informaticup potassco

Updated Dec 1, 2025
JavaScript

CookedUp

Farfi55 / CookedUp

Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP

game unity unity3d answer-set-programming unical overcooked

Updated Oct 4, 2023
C#

Aluriak / PowerGrASP

Compress graphs

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

Updated Jan 6, 2020
Python

susuhahnml / asp-game-strategies

Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) ♣️ 🎲

nim tic-tac-toe minimax monte-carlo-tree-search clingo answer-set-programming game-strategy ilasp

Updated Mar 25, 2023
Python

dodaro / cnl2asp

A tool for converting CNL sentences to ASP rules.

answer-set-programming controlled-natural-language

Updated Nov 6, 2025
Python

vscode-dlv-syntax-highlighting

w1nte / vscode-dlv-syntax-highlighting

DLV syntax highlighter for Visual Studio Code.

syntax-highlighting asp vscode-extension answer-set-programming dlv

Updated Nov 15, 2020

Aluriak / learning-ASP

Personal learning repository for Answer Set Programming

learning answer-set-programming

Updated Sep 24, 2018
Python

ASPEditorPlugin

pierpaolosestito-dev / ASPEditorPlugin

ASPEditor is a VSCode Extensions that provides features such as syntax-highlighting, intellisense, code diagnostics and others for ASP,DLV,LP.

syntax-highlighting cookbook intellisense vscode-extension logic-programming quickfix vscode-theme answer-set-programming vscode-plugin dlv vscode-snippets diagnostic-tool vscode-extension-pack

Updated Feb 2, 2023
TypeScript

Adamouization / ASP-Timetable

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

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

Updated Apr 20, 2018
Python

AAAI-DISIM-UnivAQ / ASP_DALI

Answer Set Programming extension for the DALI MAS Framework

prolog webapp multi-agent-systems answer-set-programming dlv

Updated Sep 17, 2015
JavaScript

ilveron / intelligenza-artificiale

All the scripts made for the Intelligenza Artificiale (Artificial Intelligence) course @UniversitaDellaCalabria - A.Y 2022/2023

ai asp answer-set-programming unical dlv

Updated Dec 16, 2023
Classic ASP

MatthiasNickles / fol2asp

A tool for translating First-Order Logic (FOL) to Answer Set Programming (ASP)

open-source ai first-order-logic logic-programming fol answer-set-programming satisfiability nonmonotonic stable-model-semantics

Updated Dec 29, 2023
Scala

Aluriak / phasme

(ASP) graph handling made easy

python graph graph-theory answer-set-programming

Updated Nov 8, 2019
Python

Aluriak / PowerGrASP-1

Graph compression with FCA and ASP. New versions at:

python compression graph answer-set-programming

Updated Apr 3, 2018
Python

MatthiasNickles / Diff-ASP-Propagators

Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodel optimization. For Clingo (https://potassco.org/) + Python

python optimization logic-programming sampling gradient-descent sat-solver clingo answer-set-programming satisfiability

Updated Apr 13, 2025
Answer Set Programming

Aluriak / pytest-asptest

pytest plugin to test ASP code

python pytest-plugin answer-set-programming

Updated Apr 28, 2018
Python

Aluriak / concept-generation

Comparison and testing of multiple concept generation method using ASP

benchmark formal-concept-analysis answer-set-programming

Updated Jun 21, 2022
Python

Aluriak / ASP-for-FCA

Answer Set Programming programs about Formal Concept Analysis

formal-concept-analysis answer-set-programming

Updated Sep 23, 2019
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.

Curate this topic

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."