research
∙
04/28/2023
Metric Temporal Equilibrium Logic over Timed Traces
In temporal extensions of Answer Set Programming (ASP) based on linear-t...
share
research
∙
09/14/2020
Temporal Answer Set Programming
We present an overview on Temporal Logic Programming under the perspecti...
research
∙
08/05/2020
Towards Metric Temporal Answer Set Programming
We elaborate upon the theoretical foundations of a metric temporal exten...
research
∙
04/26/2018