sefeoglu/answer-set-programming-solver

The solvers of Yosanabe, Minotaur and Sudoku

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

lorenzobazzana/Warehouse_planning

A project about modelling a warehouse planning problem, in the ASP and MiniZinc languages

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

ilveron/intelligenza-artificiale

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

Language: Classic ASP - Size: 85.9 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

ilaspltd/ILASP-releases

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

ilveron/GreatEscape Fork of AndreaYpmY/GreatEscape

Final project of the Artificial Intelligence course @UNICAL A.Y. 2022/2023

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

lruanova/ASP_Exercises

Using ASP to solve two example exercises with clingo and telingo systems respectively.

Language: Python - Size: 11.7 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Aluriak/pytest-asptest

pytest plugin to test ASP code

Language: Python - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 2 - 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: 12 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

yoshovski/Thesis-ASP-Based-System-For-Humanitarian-Assistance

Conducted an AI research study in Poland on optimizing volunteer distribution during a refugee crisis. Case study on the influx of refugees from Ukraine into Poland due to the Russian invasion.

Language: Java - Size: 4.62 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

sjyothul/answer-set-programming

Uses declarative programming language - clingo based on programming method - ASP

Language: Classic ASP - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

NEKERAFA/clingo-cs

A C# bindings of Clingo library

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

nickswalker/counterpoint-asp

Species one counterpoint implemented in Answer Set Programming

Language: LilyPond - Size: 152 KB - Last synced at: over 2 years ago - Pushed at: about 10 years ago - Stars: 0 - 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

LaurabelleKay/Timetabler

An ASP Timetabler Application

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

bnediction/reprogramming-with-bonesis

Executable paper and data demonstrating marker reprogramming of Boolean networks with BoNesis

Language: TeX - Size: 657 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kr2023-6949/experiments

Code to reproduce the experiments in "Logic-based Composition of Business Process Models", by Valeria Fionda, Antonio Ielo, Francesco Ricca.

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

ooinaruhugh/ipafair

Reentrant Incremental Argumentation Framework API and solver

Language: Jupyter Notebook - Size: 576 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

lauraventrice/IALAB 📦

Development of projects for the course "Artificial Intelligence and Laboratory"

Language: CLIPS - Size: 221 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

cfrioux/deadend_detector

Detection of deadends in metabolic networks

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

0x326/miami-university-cse-464-group-project 📦

An objective function for Magic the Gathering tournament (limited sealed) decks

Language: TeX - Size: 501 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

enrimilan/EWBS-WS2013 📦

Course "Einführung in wissensbasierte Systeme" at Vienna University of Technology

Size: 109 KB - Last synced at: over 2 years ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 1

AlexFazio64/Gomoku 📦

Gomoku (Gomokunarabe), or Five-in-a-Row is a tabletop game originated in Asia a long time ago.

Language: Java - Size: 9.35 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - 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: over 5 years ago - Stars: 1 - 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: over 7 years ago - Stars: 3 - Forks: 0

laura-riedel/ASP-miniprojects

Answer Set Probramming (ASP): clingo encodings for solving Sudoku, Seek Numbers, and Minotaur games

Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 2

mpia3/Contrast-Pattern-Mining

A declarative aproach to Contrast Pattern Mining in Answer Set Programming (ASP)

Size: 2.71 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Aluriak/phasme

(ASP) graph handling made easy

Language: Python - Size: 64.5 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 1

Pinzauti/automated-reasoning

Solving a Constraint Satisfaction Problem with ASP and MiniZinc.

Language: Python - Size: 81.1 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - 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: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1

cfrioux/fluto

Language: Python - Size: 308 KB - Last synced at: about 10 hours ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

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: about 4 years ago - Stars: 2 - Forks: 0

martinetoering/KRR-course

Labs from the Symbolic Systems course at the University of Amsterdam, Master Artificial Intelligence (June 2020).

Language: Python - Size: 117 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

lorenzofavaro/logic-grid-solver

Solver of a logic grid found on "Settimana Enigmistica" magazine modeled through the Answer Set Programming (ASP) approach.

Language: Cool - Size: 18 MB - Last synced at: 20 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

damianoazzolini/rasp

A REPL for ASP (clingo)

Language: Python - Size: 19.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

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: almost 3 years ago - Stars: 5 - Forks: 0

knowsys/eval-2022-IJCAI-asp-with-sets

Evaluation data for the IJCAI 2022 paper "Simulating Sets in Answer Set Programming"

Language: Java - Size: 11 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

MarcoCarry97/Knowledge-representation-and-Logic-programming

Four exercises I made using CLP and ASP for the exam of Knowledge representation and Logic programming (Rappresentazione della conoscenza e logica computazionale) at UNIUPO

Language: HTML - Size: 262 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

eoz-imaginary/answer-set-programming

This repository contains implementations of several answer set programming problems. Currently contains: meeting scheduling, elevator routing, and monkey-banana pathing.

Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - 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

Nik-dot/Sudoku-AI-Solver

A python graphics tool that solves sudoku with Answer Set Programming

Language: Python - Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

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: 19 days ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

alejandroh3005/Answer-Set-Programming-Project Fork of ricardoaxelbaeza/CHOBS-Project

Group project for Symbolic Programming course. An Answer Set Programming Sudoku solver. Final report:

Language: Jupyter Notebook - Size: 9.36 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - 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: almost 4 years ago - Stars: 1 - Forks: 1

mushthofa/ASPG

ASP-based attractor computation

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

Jozott00/ClingoTestRunner

This Python program automates Clingo ASP tests by executing given test files that contain certain comment annotations with expected results.

Language: Python - Size: 15.6 KB - Last synced at: 8 months ago - Pushed at: almost 4 years ago - Stars: 0 - 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: 4 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

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: over 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: 12 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

MatviyRoman/answer.matviy.pp.ua

answer.matviy.pp.ua

Language: HTML - Size: 3.15 MB - Last synced at: 9 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

VibhaBelavadi/wishadish-hackathon-project

HackAI project 2016

Language: Java - Size: 11.7 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

NicholasACTran/chess-packing

The Chess Packing Problem implemented in answer set programming.

Size: 10.7 KB - Last synced at: over 2 years ago - Pushed at: almost 5 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: about 5 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: 4 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

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: almost 7 years ago - Stars: 1 - Forks: 0

Aluriak/ASP-for-FCA

Answer Set Programming programs about Formal Concept Analysis

Language: Python - Size: 95.7 KB - Last synced at: about 23 hours ago - Pushed at: about 6 years ago - Stars: 2 - 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: over 8 years ago - Stars: 1 - Forks: 0

Webastronaut/benchmark-asprilo-golog

Benchmark of Golog programs in the warehouse domain for my bachelor thesis

Language: Python - Size: 771 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - 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: over 6 years ago - Stars: 1 - Forks: 1

iliakur/RoboSanta

Make sure all kids big and small get their presents on time!

Language: Prolog - Size: 3.28 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

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: almost 7 years ago - Stars: 2 - Forks: 0

cutecryptid/tft-planner

Teamfight Tactics teamcomp planner in Answer Set Programming

Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Webastronaut/flood-it-solver

Flood-It solver written for the ASP system telingo.

Language: Python - Size: 29.3 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

defritz/AnswerSetProblems

Several ASP Solutions to Logic Problems

Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Webastronaut/asp-planning-benchmarks Fork of potassco/asp-planning-benchmarks

A repository of ASP planning benchmarks

Language: ASP - Size: 387 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1

lorenzleutgeb/hakuna-matata

Language: Python - Size: 256 KB - Last synced at: 5 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

Aluriak/Cathplace

Helper for placement of humans in their offices according to various constraints

Language: Python - Size: 26.4 KB - Last synced at: 9 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

phohenecker/asp-wrapper

A wrapper for accessing ASP solvers from Python.

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

berkanteber/pure-research-project

PURE (Program for Undergraduate Research) Project

Language: TeX - Size: 43 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

shahPriyank/Graduate-University-Recommendation

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

egnwd/pingo

Pretty Printer for Clingo 🐧

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

andreea-zaharia/Sudoku-Solver

Sudoku solver in ASP

Language: Jupyter Notebook - Size: 42 KB - Last synced at: 6 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

Aluriak/dot-propagator

Like the dot propagator, but with dot instead of dots.

Language: Python - Size: 48.8 KB - Last synced at: 9 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

hrskrs/Nurikabe-Puzzle

Visualization of Nurikabe Puzzle with Clingo and Python

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