Deontic logic solver in ASP with Clingo
-
Updated
May 27, 2024 - Python
Deontic logic solver in ASP with Clingo
A tool for converting CNL sentences to ASP rules.
Differentiable probabilistic answer set programming
A collection of the ongoing research project into the Flatland competition. Check the murphy-dev branch for efforts that are currently being explored.
Synthesis and Reprogramming of Most Permissive Boolean Networks
My public programs and models - mostly combinatorial problems and puzzles
Code for Specifying Goals to Deep Neural Networks with Answer Set Programming
Org-Babel mode to execute Clingo Potassco code within Org-mode
The biologist's Boolean attractor landscape mapper, building Waddington landscapes from Boolean networks.
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
An intuitive and declarative way to graphically represent answer sets in LaTeX
🤔 A grounder and solver for logic programs.
A wrapper for easing the integration of Answer Set Programs to Python with Clingo 4.
Python package for large-scale community selection in microbiota
This project is my master's dissertation, a Visual Studio Code extension tailored to aid newcomers to Answer Set Programming with their encodings.
Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.
To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."