Anna Schuhmann

According to our database, Anna Schuhmann authored at least 7 papers between 2018 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

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

Linear-Time Temporal Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

Theory Pract. Log. Program., 2023

2022

Metric Temporal Answer Set Programming over Timed Traces.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2020

Towards Metric Temporal Answer Set Programming.

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

Theory Pract. Log. Program., 2020

Temporal Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

CoRR, 2020

2018

Temporal Answer Set Programming on Finite Traces.

Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

Theory Pract. Log. Program., 2018