answer-set-programming | Topic | Ecosyste.ms: Repos

Topic: "answer-set-programming"

potassco/clingo

🦉 A grounder and solver for logic programs.

Language: C++ - Size: 22.5 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 680 - Forks: 87

hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 59.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 381 - Forks: 77

uwdata/draco

Visualization Constraints and Weight Learning

Language: TypeScript - Size: 38.6 MB - Last synced at: about 22 hours ago - Pushed at: almost 2 years ago - Stars: 230 - Forks: 29

robsimmons/dusa

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

Language: TypeScript - Size: 3.6 MB - Last synced at: 12 days ago - Pushed at: 3 months ago - Stars: 117 - Forks: 7

MatthiasNickles/diff-SAT

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

Language: Scala - Size: 2.24 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 61 - Forks: 3

alpha-asp/Alpha

A lazy-grounding Answer-Set Programming system

Language: Java - Size: 31.8 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 60 - Forks: 11

921kiyo/symbolic-rl

Symbolic Reinforcement Learning using Inductive Logic Programming

Language: Lasso - Size: 78.2 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 59 - Forks: 10

Aluriak/clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

Language: Python - Size: 401 KB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 34 - Forks: 7

ilaspltd/ILASP-releases

Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 26 - Forks: 0

kamel-usp/dpasp

Differentiable probabilistic answer set programming

Language: C - Size: 810 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 25 - Forks: 5

joshuaguerin/Answer-Set-Programming-Algorithms

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Language: Python - Size: 12.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 19 - Forks: 1

bramucas/xclingo2

A tool for explainability and debugging in Answer Set Programming.

Language: Python - Size: 226 KB - Last synced at: 23 days ago - Pushed at: 4 months ago - Stars: 14 - Forks: 5

bnediction/bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

Language: Python - Size: 639 KB - Last synced at: 25 days ago - Pushed at: 27 days ago - Stars: 13 - Forks: 2

py-typedlogic/py-typedlogic

Logic plus python types

Language: Python - Size: 5.04 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 12 - Forks: 1

w1nte/vscode-dlv-syntax-highlighting

DLV syntax highlighter for Visual Studio Code.

Size: 104 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 12 - Forks: 0

Aluriak/PowerGrASP

Compress graphs

Language: Python - Size: 19.7 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 1

CaptainUnbrauchbar/asp-language-support

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

Language: JavaScript - Size: 8.2 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 10 - Forks: 2

santifa/pasp-mode

An Emas Major Mode for editing Answer Set Programs

Language: Emacs Lisp - Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 5

cfrioux/miscoto

Python package for large-scale community selection in microbiota

Language: Python - Size: 287 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0

Aluriak/learning-ASP

Personal learning repository for Answer Set Programming

Language: Python - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 9 - Forks: 0

Aluriak/se-lang

A programmable language for SpaceEngine addons

Language: Python - Size: 56.6 KB - Last synced at: 10 days ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 0

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.

Language: Java - Size: 39.1 KB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 4

Farfi55/RiskASP

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

Language: C# - Size: 6.22 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 2

NEKERAFA/CS-IndustryLP

An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)

Language: C# - Size: 37.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 1

dodaro/cnl2asp

A tool for converting CNL sentences to ASP rules.

Language: Python - Size: 696 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 6 - Forks: 1

thesofakillers/iclingo

🔴🟢🔵 clingo kernel for Jupyter

Language: Python - Size: 444 KB - Last synced at: 17 days ago - Pushed at: 11 months ago - Stars: 6 - Forks: 1

Aluriak/concept-generation

Comparison and testing of multiple concept generation method using ASP

Language: Python - Size: 117 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 0

Adamouization/ASP-Timetable

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

Language: Python - Size: 353 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0

TEN-framework/ten_framework.bak

The world’s first real-time, distributed, cloud-edge collaborative multimodal AI Agent Framework that simultaneously supports C/C++/Go/Python/JS/TS

Language: C - Size: 123 MB - Last synced at: 12 days ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 1

susuhahnml/asp-game-strategies

Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) :clubs: :game_die:

Language: Python - Size: 69.5 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

pathmodel/pathmodel

Prototype to infer new biochemical reactions and new metabolite structures to investigate metabolic pathway drift.

Language: Python - Size: 892 KB - Last synced at: 2 days ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 1

krr-up/flatland

A collection of the ongoing research project into the Flatland competition.

Language: Python - Size: 159 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 5

pierpaolosestito-dev/ASPEditorPlugin

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

Language: TypeScript - Size: 9.26 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1

kasteph/clingo-notebook

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

Language: Dockerfile - Size: 25.4 KB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

Aluriak/phasme

(ASP) graph handling made easy

Language: Python - Size: 64.5 KB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 1

Aluriak/PowerGrASP-1

Graph compression with FCA and ASP. New versions at:

Language: Python - Size: 1.11 MB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1

AAAI-DISIM-UnivAQ/ASP_DALI

Answer Set Programming extension for the DALI MAS Framework

Language: JavaScript - Size: 199 KB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 4 - Forks: 1

jcrozum/biobalm

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

Language: Python - Size: 69.2 MB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 3 - Forks: 1

janheuer/here-and-there-agda

Implementation of the logic of here-and-there in Agda as the logical foundations of Answer Set Programming (ASP)

Language: Agda - Size: 229 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0

drwadu/fasb

faceted answer set browser

Language: Rust - Size: 4.32 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0

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

Language: Answer Set Programming - Size: 24.4 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

raceconditionrunning/relay-scheduler

Scheduling team marathon relays with Answer Set Programming

Language: Python - Size: 246 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

NEKERAFA/clingo-cs

A C# bindings of Clingo library

Language: C# - Size: 1.22 MB - Last synced at: 1 day ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

MatthiasNickles/fol2asp

A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)

Language: Scala - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

Farfi55/CookedUp

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

Language: C# - Size: 6.95 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

MarioAvolio/Artificial-Intelligence-for-Bomberman-Game

Implementation of Artificial Intelligence for Bomber Man Game.

Language: Python - Size: 15.5 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

mushthofa/ffasp

Finite Fuzzy Answer Set Programming Solver

Language: C++ - Size: 5.96 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 0

gaste/dwasp-gui

A graphical user interface for debugging faulty ASP programs with gringo-wrapper and DWASP.

Language: Java - Size: 341 KB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 3 - Forks: 0

SonalJayasinghe/clingo_and_sparc

Answer Set Programming (පිළිතුරු කට්ටල වැඩසටහන්කරණය)

Language: SourcePawn - Size: 272 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 0

ovidiomanteiga/deolingo

Deontic logic solver in ASP with Clingo

Language: Python - Size: 152 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

barreeeiroo/JSON-Logic-ASP

Evaluate JSON Logic rules in Python using ASP with Clingo

Language: Python - Size: 205 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

forestagostinelli/SpecGoal

Code for Specifying Goals to Deep Neural Networks with Answer Set Programming

Language: Python - Size: 4.3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

kwrx/qasp

A new solver for asp programs with quantifiers over stable models

Language: C++ - Size: 12.1 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

abeer-dyoub/EthicalEvalMAS

A MAS system for ethical monitoring and evaluation of dialog systems

Language: Prolog - Size: 78.1 KB - Last synced at: 14 days ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

louispawaon/accss-coding-challenges

my attempts of answering the CodeByte presented by the BiweeklyByte of ACCSS from the AdDU CS Cluster

Language: Java - Size: 24.4 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

Aluriak/ASP-for-FCA

Answer Set Programming programs about Formal Concept Analysis

Language: Python - Size: 95.7 KB - Last synced at: 5 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

LaurabelleKay/Timetabler

An ASP Timetabler Application

Language: HTML - Size: 49.8 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1

ADDALemos/RBN

Repairing Boolean logical models from time-series data using Answer Set Programming

Language: C++ - Size: 6.93 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

Aluriak/pytest-asptest

pytest plugin to test ASP code

Language: Python - Size: 9.77 KB - Last synced at: 29 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

921kiyo/clingo

Answer Set Programming

Size: 23.4 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

gaste/gringo-wrapper

A wrapper for gringo that takes a logic program as input, translates it to the debugging program, and outputs the grounded debugging program.

Language: Java - Size: 101 KB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 2 - Forks: 0

drwadu/savan

answer set navigation library

Language: Rust - Size: 98.6 KB - Last synced at: 16 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

simonecolli/ottimizzazione-garanti-accademici

Tool basato su Answer Set Programming (ASP) per l'ottimizzazione dell'assegnazione dei garanti accademici ai corsi universitari.

Language: Python - Size: 9.26 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 1

ryuk4real/asp-fast-api

An API for running ASP programs

Language: Python - Size: 69.3 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

samuelortion/ob-pasp

Org-Babel mode to execute Clingo Potassco code within Org-mode

Language: Emacs Lisp - Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

krr-up/mapf-instance-generator

MAPF instance generator

Language: Python - Size: 698 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Copelli-Yoshovski-Associates/ColorPop_AI_Project

Artificial Intelligence driven Java game, Color Pop, utilizing JavaFX GUI, the MVC pattern, and Answer Set Programming (ASP) logic, powered by the EmbASP framework.

Language: Java - Size: 10.8 MB - Last synced at: 8 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

prosysscience/Symmetry_Breaking_with_ILP

Exploit ILP to learn symmetry breaking constraints of ASP programs.

Language: Python - Size: 96.3 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

iensen/plog2.0

A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)

Language: C++ - Size: 5.15 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

cfrioux/fluto

Language: Python - Size: 308 KB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

psaikko/ASP-HS

Source code for ASP solver of KR 2018 paper "A Hybrid Approach to Optimization in Answer Set Programming"

Language: C++ - Size: 10.5 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

kittykg/hacr

2020-2021 Distinguished Project at Imperial College London: HACR - Hybrid Architecture for Concept Reasoning

Language: Python - Size: 45.8 MB - Last synced at: 8 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

NicholasACTran/chess-packing

The Chess Packing Problem implemented in answer set programming.

Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

abuzreq/Taksim

The source code for Taksim. A PCG system for generating game spaces using Answer Set Programming (ASP)

Language: GAP - Size: 24.9 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

Minimuino/ASP-Graph

A tool for visual logic programming in ASP

Language: Python - Size: 9.5 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1

sefeoglu/PathFindingwithObstacle

PathFinding Problem with Obstacle Avoidance

Language: Python - Size: 28.3 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

cutecryptid/minish-hat

Logic Program and Theories minimization in ASP, for ASP, by ASP.

Language: Python - Size: 150 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

Roky97/BurgerTime

BurgerTime classic game developed with AI

Language: Java - Size: 8.11 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1

GabVenturato/arproject

Project from my Automated Reasoning course in CS master degree

Language: TeX - Size: 1.14 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

lukeswissman/inca

Faceted Answer-Set Navigation

Language: Python - Size: 476 KB - Last synced at: 9 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

egnwd/pingo

Pretty Printer for Clingo 🐧

Language: Haskell - Size: 33.2 KB - Last synced at: 8 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

lorenzoranucci/rectangle_packing

Rectangle packing algorithm in Prolog and ASP

Language: Prolog - Size: 1.29 MB - Last synced at: 27 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

mushthofa/ASPG

ASP-based attractor computation

Language: Python - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

mushthofa/asbpa

Space Efficient Evaluation of Answer Set Programs with Bounded Predicate Arities

Language: C++ - Size: 123 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

gaste/dwasp Fork of alviano/wasp

A modified version of the ASP solver WASP that enables the debugging of incoherent ASP programs together with gringo-wrapper.

Language: Python - Size: 12.8 MB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 1

pdeibert/GroundSLASH

Parser & grounder for the SLASH language.

Language: Python - Size: 957 KB - Last synced at: 24 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

JamesMichael44/ISC2-CC-Exam-Passing-Questions-and-Answers

ISC2 CC (Certified in Cybersecurity) Exam

Size: 0 Bytes - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

hweichelt/explaidllm

CLI tool for debugging clingo using a combination of MUS and LLMs

Language: Python - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

OliverConnor7/HP-Designing-High-End-HPE-Storage-Platforms

Master the art of Designing High-End HPE Storage Platforms with expert resources from PassCertHub. Boost your skills, prep smarter, and confidently tackle your HPE certification goals.

Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

merendamattia/ottimizzazione-garanti-accademici Fork of simonecolli/ottimizzazione-garanti-accademici

Answer Set Programming (ASP)-based tool for optimizing the assignment of academic guarantors to university courses.

Language: Answer Set Programming - Size: 9.26 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

Alessandro624/hypersonic Fork of ormai/hypersonic

Bomberman-like, turn-based game played by two competing AI Agents

Language: Python - Size: 33 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

ormai/hypersonic

Bomberman-like, turn-based game played by two competing AI Agents

Language: Python - Size: 33 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 3

Kangonaut/neurasp-crafting

Basic crafting implemented with STRIPS planning to showcase the NeurASP architecture.

Language: Python - Size: 178 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

simocaruso/sbvr2asp

A tool for converting SBVR specifications into ASP.

Language: Python - Size: 116 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

tsither/amtrak

Using Answer Set Programming to solve Flatland, a vehicle re-scheduling problem (VRSP) simulation.

Language: Python - Size: 168 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

GabrielCellammare/Formal-Methods-for-Optimized-and-Verified-Drone-Delivery-Systems

This project combines Answer Set Programming for optimal drone delivery route planning with temporal logic verification of flight maneuvers. It balances distance and energy costs while formally verifying safety properties, providing mathematical guarantees for autonomous drone operations

Size: 0 Bytes - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0