Publications

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, and Christoph Weidenbach. A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. arXiv, 2022. [PUMA: (cs.LO), Computer FOS: Logic Science and in information sciences sciences,] URL

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