drwadu/asflp

answer set programming feat. logical neural networks

Language: Haskell - Size: 6.2 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 0

jcrozum/biobalm

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

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

potassco/clingo

🦉 A grounder and solver for logic programs.

Language: C++ - Size: 22.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 688 - Forks: 87

hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 59.3 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 384 - Forks: 78

CaptainUnbrauchbar/asp-language-support

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

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

robsimmons/dusa

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

Language: TypeScript - Size: 3.67 MB - Last synced at: 5 days ago - Pushed at: 14 days ago - Stars: 117 - Forks: 7

SonalJayasinghe/clingo_and_sparc

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

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

kamel-usp/dpasp

Differentiable probabilistic answer set programming

Language: C - Size: 810 KB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 25 - Forks: 5

py-typedlogic/py-typedlogic

Logic plus python types

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

uwdata/draco

Visualization Constraints and Weight Learning

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

bnediction/bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

Language: Python - Size: 639 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 13 - Forks: 2

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

ISC2 CC (Certified in Cybersecurity) Exam

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

dodaro/cnl2asp

A tool for converting CNL sentences to ASP rules.

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

hweichelt/explaidllm

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

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

lukeswissman/inca

Faceted Answer-Set Navigation

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

ovidiomanteiga/deolingo

Deontic logic solver in ASP with Clingo

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

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 2 months ago - Pushed at: about 2 months 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: about 1 month ago - Pushed at: 5 months ago - Stars: 14 - Forks: 5

cfrioux/miscoto

Python package for large-scale community selection in microbiota

Language: Python - Size: 287 KB - Last synced at: 23 days ago - Pushed at: over 1 year ago - Stars: 9 - 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: 21 days ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 1

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: 3 months ago - Pushed at: 3 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: 3 months ago - Pushed at: 3 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: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 3

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: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

drwadu/fasb

faceted answer set browser

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

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

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: 5 days ago - Pushed at: 2 months ago - Stars: 5 - Forks: 1

simocaruso/sbvr2asp

A tool for converting SBVR specifications into ASP.

Language: Python - Size: 116 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - 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

tsither/amtrak

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

Language: Python - Size: 168 MB - Last synced at: 6 months ago - Pushed at: 6 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: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

krr-up/flatland

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

Language: Python - Size: 159 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 5

osryde/Move-Blocks

Project for the Declarative Programming Course at the University of Parma

Language: Classic ASP - Size: 771 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

drwadu/savan

answer set navigation library

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

alpha-asp/Alpha

A lazy-grounding Answer-Set Programming system

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

abhipatel35/Automated-Warehouse-Project

A project showcasing a scheduling algorithm to optimize warehouse robot coordination for efficient product delivery and order fulfillment.

Language: Classic ASP - Size: 889 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 0 - 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: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1

pdeibert/ASPy

Answer Set Programming (ASP) in Python.

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

pdeibert/GroundSLASH

Parser & grounder for the SLASH language.

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

Aluriak/se-lang

A programmable language for SpaceEngine addons

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

abertagnon/aspect

An intuitive and declarative way to graphically represent answer sets in LaTeX

Language: Java - Size: 4.37 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

Pierf22/Secure-ASP

Application for securely managing and sharing signed ASP encodings ​

Language: Python - Size: 27.9 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

rmr-henriques/ezasp

This project is my master's dissertation, a Visual Studio Code extension tailored to aid newcomers to Answer Set Programming with their encodings.

Language: JavaScript - Size: 1.05 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

DanieleF198/ILASP-as-post-hoc-method-in-a-preference-system

Project about experiments of the use of ILASP as a post-hoc method over black-box models, in which we also study and approach technical issues like exponential time execution.

Language: Lasso - Size: 370 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

4rn3/connect_four_asp

Final project for my model based AI class in which we use Answer Set Programming (clingo)

Language: Python - Size: 806 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

lcian/gringo-language-server

🛠️ Language Server for gringo (Answer Set Programming)

Language: Rust - Size: 10.7 KB - Last synced at: 6 months ago - Pushed at: 11 months ago - Stars: 0 - 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

raceconditionrunning/relay-scheduler

Scheduling team marathon relays with Answer Set Programming

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

Aluriak/PowerGrASP

Compress graphs

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

anarubioruiz/sosac-reasoner

ASP inference engine designed for automatic IoT context knowledge generation.

Language: Python - Size: 1.3 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 0 - 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

Aluriak/clyngor

Handy python wrapper around Potassco's Clingo ASP solver.

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

thesofakillers/iclingo

🔴🟢🔵 clingo kernel for Jupyter

Language: Python - Size: 444 KB - Last synced at: 1 day ago - Pushed at: 12 months ago - Stars: 6 - Forks: 1

lcian/tree-sitter-gringo

🌳 Tree-sitter grammar for gringo (ASP Logic Programming)

Language: JavaScript - Size: 92.8 KB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 0 - 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

lorenzotabasso/IALAB-1920

Repository for the IALab exam's projects, A.Y. 2019-2020. Developer with love by Roger Ferrod, Pio Raffaele Fina and Lorenzo Tabasso.

Language: HTML - Size: 68 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - 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

Aluriak/concept-generation

Comparison and testing of multiple concept generation method using ASP

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

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

Aluriak/learning-ASP

Personal learning repository for Answer Set Programming

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

ryuk4real/asp-fast-api

An API for running ASP programs

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

koonwen/The-C-Programming-Language-Exercises

A Repo containing my exercise solutions for "The C Programming Language" - by Brian Kernighan and Dennis Ritchie

Language: C - Size: 458 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - 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

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

OllieKampo/anivia

A wrapper for easing the integration of Answer Set Programs to Python with Clingo 4.

Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

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

Language: Classic ASP - Size: 202 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mathieubolteau/scRNA2BoNI

scRNA2BoNI - A general framwork to infer Boolean networks from scRNAseq data.

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

davidedellagiustina/qasp-solver

Quantum algorithms for solving ASP programs. MSc thesis project.

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

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

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

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

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

VictosVertex/flatland-asp

Application of Answer Set Programming to the Flatland environment

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

w1nte/bachelor-thesis-asp-upms-tuning

Performance Tuning of Answer-Set-Programming Encoded Parallel Machine Scheduling Problems with Setup Times

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

w1nte/vscode-dlv-syntax-highlighting

DLV syntax highlighter for Visual Studio Code.

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

GabryV00/AutomatedReasoning-Project

Modeling the most efficient path problem in MiniZinc and in Logic Programming

Language: Python - Size: 297 KB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 0 - 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

vaishnavibatni/PersonalTourGuide

A tour guide personalized as per the user's requirements

Language: C++ - Size: 12.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

drwadu/minifasb

core library for answer set navigation

Language: Rust - Size: 223 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

iliakur/c-u-later-elevator

Language: TeX - Size: 404 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - 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

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

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

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

kwrx/qasp

A new solver for asp programs with quantifiers over stable models

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

jachymb/lights-out

Minimalistic, declarative lights out problem solver

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

zucchi99/Project-Automated-Reasoning

Calculation of a possible sharing of a quota between entities with different priorities and many constraints, using SAT-Solver or Answer Set Programming

Language: Python - Size: 1.07 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

santifa/pasp-mode

An Emas Major Mode for editing Answer Set Programs

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

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: about 2 years ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 1

cutecryptid/minish-hat

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

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

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

MatthiasNickles/Satalyzer

A lightweight tool for the visualization and analysis of event log files (JSON format) generated by SAT, ASP, SMT and other kinds of constraint solvers

Language: Scala - Size: 479 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

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

sefeoglu/answer-set-programming-solver

The solvers of Yosanabe, Minotaur and Sudoku

Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: almost 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: over 1 year ago - Pushed at: about 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: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ilaspltd/ILASP-releases

Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 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: about 2 years ago - Pushed at: about 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: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0