Picture for Martín Diéguez

Martín Diéguez

Université d'Angers, France

Metric Dynamic Equilibrium Logic

Add code
Jan 19, 2024
Viaarxiv icon

Past-present temporal programs over finite traces

Add code
Jul 24, 2023
Viaarxiv icon

Gödel-Dummett linear temporal logic

Add code
Jun 27, 2023
Viaarxiv icon

Metric Temporal Equilibrium Logic over Timed Traces

Add code
Apr 28, 2023
Viaarxiv icon

Automata for dynamic answer set solving: Preliminary report

Add code
Sep 04, 2021
Figure 1 for Automata for dynamic answer set solving: Preliminary report
Figure 2 for Automata for dynamic answer set solving: Preliminary report
Figure 3 for Automata for dynamic answer set solving: Preliminary report
Figure 4 for Automata for dynamic answer set solving: Preliminary report
Viaarxiv icon

Implementing Dynamic Answer Set Programming

Add code
Feb 19, 2020
Figure 1 for Implementing Dynamic Answer Set Programming
Figure 2 for Implementing Dynamic Answer Set Programming
Figure 3 for Implementing Dynamic Answer Set Programming
Viaarxiv icon

Intuitionistic Linear Temporal Logics

Add code
Dec 30, 2019
Figure 1 for Intuitionistic Linear Temporal Logics
Figure 2 for Intuitionistic Linear Temporal Logics
Figure 3 for Intuitionistic Linear Temporal Logics
Figure 4 for Intuitionistic Linear Temporal Logics
Viaarxiv icon

Temporal Logic Programs with Variables

Add code
Sep 19, 2016
Figure 1 for Temporal Logic Programs with Variables
Figure 2 for Temporal Logic Programs with Variables
Viaarxiv icon