EasyChair Smart SlideUser guide
Author: Michael Kohlhase

This page shows all presentations of this author published in EasyChair Smart Slide.

Challenges in Automating the Registry System with Symbolic Ai and Machine Learning

Challenges in Automating the Registry System with Symbolic Ai and Machine Learning

Osman Anil Basaran, Axel Adrian, Steffen Bothe, Stephanie Evert, Michael Gritz, Merlin Humml, Michael Kohlhase, Andreas Maier, Stephan Prettner, Max Rapp, Lutz Schröder and Verena Stürmer

Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability

Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability

Axel Adrian, Stephanie Evert, Michael Kohlhase, Andreas Maier, Lutz Schröder, Osman Anil Basaran, Steffen Bothe, Merlin Humml, Stephan Prettner, Max Gabriel Rapp, Michael Gritz, Verena Stürmer, Johannes Lindner and Moritz Blöcher

Theories as Types

Theories as Types

Dennis Müller, Florian Rabe and Michael Kohlhase

Theories as Types

Theories as Types

Dennis Müller, Florian Rabe and Michael Kohlhase

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair