The source code for Taksim. A PCG system for generating game spaces using Answer Set Programming (ASP)
-
Updated
Oct 15, 2020 - GAP
The source code for Taksim. A PCG system for generating game spaces using Answer Set Programming (ASP)
A wrapper for accessing ASP solvers from Python.
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP)
pytest plugin to test ASP code
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
An ASP encoding for scheduling running relays
Space Efficient Evaluation of Answer Set Programs with Bounded Predicate Arities
Visualization of Nurikabe Puzzle with Clingo and Python
Performance Tuning of Answer-Set-Programming Encoded Parallel Machine Scheduling Problems with Setup Times
Clingo program to solve the Kakurazu logic puzzle using Answer Set Programming (ASP) (part of Model-Based Artificial Intelligence course)
PURE (Program for Undergraduate Research) Project
Detection of deadends in metabolic networks
Conducted an AI research study in Poland on optimizing volunteer distribution during a refugee crisis. Case study on the influx of refugees from Ukraine into Poland due to the Russian invasion.
Modeling the most efficient path problem in MiniZinc and in Logic Programming
Using ASP to solve two example exercises with clingo and telingo systems respectively.
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."