Publications

Carsten Lutz, und Lukas Schulze. Description Logics with Abstraction and Refinement. arXiv, 2023. [PUMA: (cs.AI), (cs.LO), Artificial Computer FOS: Intelligence Logic Science and in information sciences sciences,] URL

Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, und Michaël Thomazo. Capturing Homomorphism-Closed Decidable Queries with Existential Rules. arXiv, 2021. [PUMA: (cs.DB), (cs.LO), Computer Databases FOS: Logic Science and in information sciences sciences,] URL

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K Murali, und 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

David Nam, Julius Chapiro, Valerie Paradis, Tobias Paul Seraphin, und Jakob Nikolas Kather. Artificial intelligence in liver diseases: Improving diagnostics, prognostics and response prediction. JHEP Rep., (4)4:100443, Elsevier BV, April 2022. [PUMA: AI, Artificial CNN, Communications DICOM, Diagnosis; Digital HCC, Imaging Individual ML, MVI, Medicine; NAFLD, NASH, Prognosis Reporting TACE, TRIPOD, Transparent WSIs, a and artificial carcinoma; chemoembolisation; convolutional data deep diagnostic disease; fatty for hepatocellular images; imaging; in integration intelligence; invasion; learning; liver machine microvascular model multimodal multivariable network; neural non-alcoholic of or prediction slide steatohepatitis; support system; transarterial whole]