Björn Lellmann
I am currently working at the Austrian Federal Chancellery. Until 2021 I was working at SBA Research in the project BRISE Vienna. Previously, I was a research assistant in the project Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts, and before that a Marie Skłodowska-Curie Fellow at the TU Wien in the PAnaMoL project. Before this I was a member of the START project: Non classical proofs: theory, applications and tools led by Agata Ciabattoni, and even further back I did my PhD with Dirk Pattinson in London. In general I am interested in all things connected to logic, including applications of structural proof theory to legal reasoning and explainable AI. I am also interested in structural proof theory for modal and intermediate logics, in particular in the connections between Hilbert-style axiomatisations and Gentzen-style sequent, hypersequent or nested sequent calculi, as well as the expressive strengths of different Gentzen-style frameworks.
News
Our survey paper on nested sequents is finally in the typesetting stage and should be published soon (i.e., this year). For a previous version see here.
The article Grants4Companies: The Common Lisp PoC was published in the Proceedings of the European Lisp Symposium 2024 (pp.12-17)
The article Grants4Companies: Applying declarative methods for recommending and reasoning about business grants in the Austrian public administration (System description) was published in the proceedings of FLOPS 2024
The article Once Only in der Single Digital Gateway Verordnung - Neue Herangehensweisen im Europäischen e-Government was published in the procedings of IRIS2024
We submitted the article BRISE-Plandok: A German legal corpus of building regulations about the data set of sentences from the Viennese building regulation and their formalisations. Take a look at the preprint and the github page.