The biologist's Boolean attractor landscape mapper, building Waddington landscapes from Boolean networks.
-
Updated
Jun 5, 2024 - Python
The biologist's Boolean attractor landscape mapper, building Waddington landscapes from Boolean networks.
Code for Specifying Goals to Deep Neural Networks with Answer Set Programming
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.
Differentiable probabilistic answer set programming
A tool for converting CNL sentences to ASP rules.
Synthesis and Reprogramming of Most Permissive Boolean Networks
My public programs and models - mostly combinatorial problems and puzzles
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
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.
Quantum algorithms for solving ASP programs. MSc thesis project.
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."