M.S. Anna Schuhmann

University of Potsdam
Institute of Computer Science
An der Bahn 2
D-14476 Potsdam

Campus Golm, Building 70, Room 02.11

Fax   +49-331-977-3122
Email  annamariaschuhmann@gmail.com

Publications

2023

  1. Becker, A., Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2023). Metric Temporal Equilibrium Logic over Timed Traces. CoRR, abs/2304.14778. [pdf] [bib]
  2. Becker, A., Cabalar, P., Diéguez Martı́n, Cerro, L. F. del, Schaub, T., & Schuhmann, A. (2023). Metric dynamic equilibrium logic. J. Appl. Non Class. Logics, 33(3-4), 495–519. [pdf] [bib]
  3. Aguado, F., Cabalar, P., Diéguez Martı́n, Pérez, G., Schaub, T., Schuhmann, A., & Vidal, C. (2023). Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program., 23(1), 2–56. [bib]

2022

  1. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2022). Metric Temporal Answer Set Programming over Timed Traces. In LPNMR (Vol. 13416, pp. 117–130). Springer. [bib]

2021

  1. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2021). Metric Temporal Answer Set Programming over Timed Traces (extended abstract). In Stream Reasoning Workshop. [pdf] [bib]

2020

  1. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2020). Towards Metric Temporal Answer Set Programming. CoRR, abs/2008.02038. [pdf] [bib]
  2. Aguado, F., Cabalar, P., Diéguez Martı́n, Pérez, G., Schaub, T., Schuhmann, A., & Vidal, C. (2020). Temporal Answer Set Programming. CoRR, abs/2009.06544. [pdf] [bib]
  3. Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2020). Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program., 20(5), 783–798. [pdf] [bib]

2018

  1. Cabalar, P., Kaminski, R., Schaub, T., & Schuhmann, A. (2018). Temporal Answer Set Programming on Finite Traces. CoRR, abs/1804.10227. [pdf] [bib]
  2. Cabalar, P., Kaminski, R., Schaub, T., & Schuhmann, A. (2018). Temporal Answer Set Programming on Finite Traces. TPLP, 18(3-4), 406–420. [pdf] [bib]