Anna Schuhmann

11 papers B 1Journal 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
Metric Dynamic Equilibrium Logic.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
2024 J jnl
Metric Temporal Equilibrium Logic over Timed Traces.
Theory Pract. Log. Program.
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2023 J jnl
Linear-Time Temporal Answer Set Programming.
Theory Pract. Log. Program.
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
2023 J jnl
Metric Temporal Equilibrium Logic over Timed Traces.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2023 J jnl
Metric dynamic equilibrium logic.
J. Appl. Non Class. Logics
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
2022 B conf
Metric Temporal Answer Set Programming over Timed Traces.
LPNMR
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2020 J jnl
Temporal Answer Set Programming.
CoRR
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
2020 J jnl
Towards Metric Temporal Answer Set Programming.
CoRR
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2020 J jnl
Towards Metric Temporal Answer Set Programming.
Theory Pract. Log. Program.
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2018 J jnl
Temporal Answer Set Programming on Finite Traces.
CoRR
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
2018 J jnl
Temporal Answer Set Programming on Finite Traces.
Theory Pract. Log. Program.
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann