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

Logic plus python types

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

🔴🟢🔵 clingo kernel for Jupyter

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

Extended logic puzzle solver of noq.

Deontic logic solver in ASP with Clingo

Scheduling team marathon relays with Answer Set Programming

Advanced environment management and ASP-based solving for the Flatland competition.

🧩 A type checker for Clingo ASP programs

Basic stuff about clingo API

Evaluate JSON Logic rules in Python using ASP with Clingo

Documentation framework for ASP, from user to contributor

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

Symbolic AI for Legal Due Process – A domain-specific reasoning engine for Unlawful Detainer (Eviction) case triage, focused on default judgment relief under California CCP §§473(b) and 473.5. Unlike generative AI, this system performs formal legal reasoning using Answer Set Programming (Clingo), ensuring mathematically provable/ auditable o/p.

The program consists of 3 files: encode.py encodes a matrix, decode.py decodes it, and shingokiKB.lp is a Clingo-based Shingoki puzzle solver.

Kendoku solver in clingo

An Implementation of the Adaptation Procedure in Misinformation Games, in collaboration with Constantinos Varsos and Giorgos Flouris. ICS FORTH

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

Application of Answer Set Programming to the Flatland environment