Publications

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

Jan Gaebel, Hans-Georg Wu, Alexander Oeser, Mario A Cypko, Matthaeus Stoehr, Andreas Dietz, Thomas Neumuth, Stefan Franke, und 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: Therapy decision modules; Decision neck delay; Arden and logic system; Medical model syntax; oncology; support Head]

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