2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 2 cited
Clingraph: A System for ASP-based Visualization
Susana Hahn, Orkunt Sabuncu, Torsten Schaub +1
We present the ASP-based visualization tool, clingraph, which aims at visualizing various concepts of ASP by means of ASP itself. This idea traces back to the aspviz tool and cling…
cs.MA2016
Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective
Orkunt Sabuncu, Torsten Schaub, Christian Schulz-Hanke
Logic-based representations of multi-agent systems have been extensively studied. In this work, we focus on the action language BC to formalize global views of MAS domains. Methodo…