The following pages link to Orkunt Sabuncu (Q2401951):
Displayed 7 items.
- Moviola: interpreting dynamic logic programs via multi-shot answer set programming (Q2401952) (← links)
- \textit{Clingraph}: ASP-based visualization (Q2694596) (← links)
- Evaluating Answer Set Clause Learning for General Game Playing (Q2851253) (← links)
- (Q3011302) (← links)
- Integrating ASP into ROS for Reasoning in Robots (Q3449192) (← links)
- An Incremental Answer Set Programming Based System for Finite ModelComputation (Q4930763) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424877) (← links)