Deontic logic solver in ASP with Clingo
-
Updated
Jun 4, 2024 - Python
Deontic logic solver in ASP with Clingo
A collection of the ongoing research project into the Flatland competition. Check the murphy-dev branch for efforts that are currently being explored.
Prácticas de la asignatura de Representación del Conocimiento y Razonamiento Automático
Org-Babel mode to execute Clingo Potassco code within Org-mode
Clingo program to solve the Kakurazu logic puzzle using Answer Set Programming (ASP) (part of Model-Based Artificial Intelligence course)
An ASP encoding for scheduling running relays
- 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
Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python
Evaluate JSON Logic rules in Python using ASP with Clingo
Application of Answer Set Programming to the Flatland environment
🔴🟢🔵 clingo kernel for Jupyter
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
Uses declarative programming language - clingo based on programming method - ASP
AI4DI - Artificial Intelligence of Digitising Industry: Tool environment to execute and validate ASP diagnose models based on the theorem solver CLINGO 5.4.1.
Add a description, image, and links to the clingo topic page so that developers can more easily learn about it.
To associate your repository with the clingo topic, visit your repo's landing page and select "manage topics."