Arvid Becker

According to our database, Arvid Becker authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Metric Temporal Equilibrium Logic over Timed Traces.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann

Theory Pract. Log. Program., March, 2024

Compiling Metric Temporal Answer Set Programming.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Metric dynamic equilibrium logic.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann

J. Appl. Non Class. Logics, October, 2023