Orkunt Sabuncu

Available identifiers

zbMath Open sabuncu.orkuntMaRDI QIDQ2401951

List of research outcomes

Publication	Date of Publication	Type
Clingraph: a system for ASP-based visualization	2025-01-03	Paper
\textit{Clingraph}: ASP-based visualization	2023-04-04	Paper
Moviola: interpreting dynamic logic programs via multi-shot answer set programming	2017-09-05	Paper
Integrating ASP into ROS for Reasoning in Robots	2015-11-04	Paper
Evaluating Answer Set Clause Learning for General Game Playing	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q3011302	2011-06-28	Paper
An Incremental Answer Set Programming Based System for Finite ModelComputation	2010-10-01	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper

Research outcomes over time

This page was built for person: Orkunt Sabuncu