Knowledge Processing and Information Systems
Arvid Becker

MSc Arvid Becker

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

Campus Golm, Building 70, Room 02.29

Phone +49-331-977-3086
Email arvid.becker@uni-potsdam.de

Becker, A., Cabalar, P., Diéguez Martı́n, Hahn, S., Romero, J., & Schaub, T. (2024). Compiling Metric Temporal Answer Set Programming. In LPNMR (Vol. 15245, pp. 15–29). Springer. [bib]
Becker, A., Cabalar, P., Diéguez Martı́n, Cerro, L. F. del, Schaub, T., & Schuhmann, A. (2024). Metric Dynamic Equilibrium Logic. CoRR, abs/2401.10781. [pdf] [bib]
Becker, A., Cabalar, P., Diéguez Martı́n, Schaub, T., & Schuhmann, A. (2024). Metric Temporal Equilibrium Logic over Timed Traces. Theory Pract. Log. Program., 24(3), 425–452. [bib]

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]
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]