The following pages link to \textit{telingo} = ASP + time (Q2326733):
Displaying 7 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)
- Past-present temporal programs over finite traces (Q6545583) (← links)
- Metric temporal equilibrium logic over timed traces (Q6656458) (← links)
