Picture for Anna Schuhmann

Anna Schuhmann

Metric Dynamic Equilibrium Logic

Add code
Jan 19, 2024
Viaarxiv icon

Metric Temporal Equilibrium Logic over Timed Traces

Add code
Apr 28, 2023
Viaarxiv icon

Temporal Answer Set Programming

Add code
Sep 14, 2020
Figure 1 for Temporal Answer Set Programming
Figure 2 for Temporal Answer Set Programming
Figure 3 for Temporal Answer Set Programming
Figure 4 for Temporal Answer Set Programming
Viaarxiv icon

Towards Metric Temporal Answer Set Programming

Add code
Aug 08, 2020
Figure 1 for Towards Metric Temporal Answer Set Programming
Figure 2 for Towards Metric Temporal Answer Set Programming
Viaarxiv icon

Temporal Answer Set Programming on Finite Traces

Add code
Apr 26, 2018
Figure 1 for Temporal Answer Set Programming on Finite Traces
Viaarxiv icon