Picture for Martin Dieguez

Martin Dieguez

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