research
∙
03/17/2023
Clingraph: A System for ASP-based Visualization
We present the ASP-based visualization tool clingraph which aims at visu...
share
research
∙
06/23/2022
plingo: A system for probabilistic reasoning in clingo based on lpmln
We present plingo, an extension of the ASP system clingo with various pr...
research
∙
09/17/2021
Automata Techniques for Temporal Answer Set Programming
Temporal and dynamic extensions of Answer Set Programming (ASP) have pla...
research
∙
09/04/2021