Course "Einführung in wissensbasierte Systeme" at Vienna University of Technology
-
Updated
Apr 29, 2014
Course "Einführung in wissensbasierte Systeme" at Vienna University of Technology
Answer Set Programming extension for the DALI MAS Framework
Species one counterpoint implemented in Answer Set Programming
A wrapper for gringo that takes a logic program as input, translates it to the debugging program, and outputs the grounded debugging program.
A modified version of the ASP solver WASP that enables the debugging of incoherent ASP programs together with gringo-wrapper.
A graphical user interface for debugging faulty ASP programs with gringo-wrapper and DWASP.
Visualization of Nurikabe Puzzle with Clingo and Python
Space Efficient Evaluation of Answer Set Programs with Bounded Predicate Arities
ASP-based attractor computation
Rectangle packing algorithm in Prolog and ASP
Like the dot propagator, but with dot instead of dots.
Sudoku solver in ASP
Pretty Printer for Clingo 🐧
Graph compression with FCA and ASP. New versions at:
An Emas Major Mode for editing Answer Set Programs
📆 ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)
pytest plugin to test ASP code
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."