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

Publications

2024

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

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]