Publications

Matti Berthold, Matthias Knorr, and Daphne Odekerken. Proceedings 39th international conference on logic programming. Electron. Proc. Theor. Comput. Sci., (385):321--323, Open Publishing Association, September 2023. [PUMA: logic nopdf programming]

Luisa Herrmann, Vincent Peth, and Sebastian Rudolph. Decidable (ac)counting with Parikh and Muller: Adding Presburger Arithmetic to monadic second-Order Logic over tree-interpretable structures. 2023. [PUMA: Adding Arithmetic Logic Muller Parikh Presburger Yaff monadic second-Order structures tree-interpretable]

Jan Gaebel, Hans-Georg Wu, Alexander Oeser, Mario A Cypko, Matthaeus Stoehr, Andreas Dietz, Thomas Neumuth, Stefan Franke, and Steffen Oeltze-Jafra. Modeling and processing up-to-dateness of patient information in probabilistic therapy decision support. Artif. Intell. Med., (104)101842:101842, Elsevier BV, April 2020. [PUMA: Arden Decision Head Medical Therapy and decision delay; logic model modules; neck oncology; support syntax; system;]