Anna Schuhmann

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Tree Decomposition

Stable Model Semantics

Temporal Constraints

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

J. Appl. Non Class. Logics

Publications

Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric Dynamic Equilibrium Logic. CoRR (2024)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. 23 (1) (2023)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33 (3-4) (2023)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Equilibrium Logic over Timed Traces. CoRR (2023)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Answer Set Programming over Timed Traces. LPNMR (2022)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Towards Metric Temporal Answer Set Programming. CoRR (2020)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Temporal Answer Set Programming. CoRR (2020)
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Temporal Answer Set Programming on Finite Traces. CoRR (2018)
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Temporal Answer Set Programming on Finite Traces. Theory Pract. Log. Program. 18 (3-4) (2018)