The following pages link to \textit{telingo} = ASP + time (Q2326733):
Displaying 5 items.
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (Q5140003) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
