Björn Lellmann
I am currently working at the Austrian Federal Ministry for Digital and Economic Affairs. Until recently 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
The article From Input/Output Logic to Conditional Logics via Sequents - With Provers was accepted at TABLEAUX 2021.
The article Explainable Rule Extraction via Semantic Graphs (with Gabor Recski, Adam Kovacs, and Allan Hanbury) was accepted at ASAIL 2021.
I just started a new position at the Federal Ministry for Digital and Economic Affairs.
Coming up: TABLEAUX 2021.
Coming up: CLAR 2021. The deadline for submission is 30 June 2021. If you are working in the area, consider submitting a paper!
The article Interpolation for Intermediate Logics via Injective Nested Sequents (with Roman Kuznets) was accepted to a special issue of the Journal of Logic and Computation on External and Internal Calculi for Non Classical Logics.