Björn Lellmann

43 papers A 1B 16Misc 2Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
BRISE-plandok: a German legal corpus of building regulations.
Lang. Resour. Evaluation
Gábor Recski, Eszter Iklódi, Björn Lellmann, Ádám Kovács, Allan Hanbury
2024 Misc conf
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description).
FLOPS
Björn Lellmann, Philipp Marek, Markus Triska
2024 J jnl
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description).
CoRR
Björn Lellmann, Philipp Marek, Markus Triska
2024 — conf
Grants4Companies: The Common Lisp PoC.
ELS
Philipp Marek, Björn Lellmann, Markus Triska
2022 J jnl
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.
J. Log. Comput.
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
2021 — conf
Explainable Rule Extraction via Semantic Graphs.
ASAIL/LegalAIIA@ICAIL
Gábor Recski, Björn Lellmann, Ádám Kovács, Allan Hanbury
2021 B conf
From Input/Output Logics to Conditional Logics via Sequents - with Provers.
TABLEAUX
Björn Lellmann
2021 J jnl
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.
J. Log. Comput.
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2021 J jnl
Interpolation for intermediate logics via injective nested sequents.
J. Log. Comput.
Roman Kuznets, Björn Lellmann
2021 J jnl
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach.
Artif. Intell. Law
Björn Lellmann, Francesca Gulisano, Agata Ciabattoni
2021 — conf
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms.
DEON
Agata Ciabattoni, Björn Lellmann
2020 Misc conf
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.
LFCS
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2020 J jnl
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity.
CoRR
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2020 — conf
Theorem Proving for Lewis Logics of Counterfactual Reasoning.
CILC
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
2019 B conf
Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels.
TABLEAUX
Björn Lellmann
2019 J jnl
Modularisation of Sequent Calculi for Normal and Non-normal Modalities.
ACM Trans. Comput. Log.
Björn Lellmann, Elaine Pimentel
2019 B conf
Nested Sequents for the Logic of Conditional Belief.
JELIA
Marianna Girlando, Björn Lellmann, Nicola Olivetti
2019 B conf
Sequentialising Nested Systems.
TABLEAUX
Elaine Pimentel, Revantha Ramanayake, Björn Lellmann
2019 B conf
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents.
TABLEAUX
Rajeev Goré, Björn Lellmann
2019 J jnl
Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version).
CoRR
Rajeev Goré, Björn Lellmann
2018 B conf
Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents.
Advances in Modal Logic
Roman Kuznets, Björn Lellmann
2018 — conf
Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach.
DEON
Agata Ciabattoni, Francesca Gulisano, Björn Lellmann
2017 B conf
A uniform framework for substructural logics with modalities.
LPAR
Björn Lellmann, Carlos Olarte, Elaine Pimentel
2017 B conf
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.
TABLEAUX
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2017 J jnl
Modularisation of Sequent Calculi for Normal and Non-normal Modalities.
CoRR
Björn Lellmann, Elaine Pimentel
2017 J jnl
Mīmā\d{m}sā deontic logic: proof theory and applications.
CoRR
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
2017 B conf
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.
TABLEAUX
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
2016 — conf
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction.
LSFA
Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel
2016 J jnl
Grafting hypersequents onto nested sequents.
Log. J. IGPL
Roman Kuznets, Björn Lellmann
2016 J jnl
Hypersequent rules with restricted contexts for propositional modal logics.
Theor. Comput. Sci.
Björn Lellmann
2016 B conf
Standard Sequent Calculi for Lewis' Logics of Counterfactuals.
JELIA
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2015 J jnl
Grafting Hypersequents onto Nested Sequents.
CoRR
Roman Kuznets, Björn Lellmann
2015 B conf
Linear Nested Sequents, 2-Sequents and Hypersequents.
TABLEAUX
Björn Lellmann
2015 B conf
Mīmāṃsā Deontic Logic: Proof Theory and Applications.
TABLEAUX
Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
2015 B conf
Proof Search in Nested Sequent Calculi.
LPAR
Björn Lellmann, Elaine Pimentel
2014 A conf
Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications.
IJCAR
Björn Lellmann
2013 — conf
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic.
ICLA
Björn Lellmann, Dirk Pattinson
2013 B conf
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.
TABLEAUX
Björn Lellmann, Dirk Pattinson
2013 J jnl
Discrete and Continuous Models for Partitioning Problems.
Int. J. Comput. Vis.
Jan Lellmann, Björn Lellmann, Florian Widmann, Christoph Schnörr
2013 — —
Sequent calculi with context restrictions and applications to conditional logic.
Björn Lellmann
2012 B conf
Sequent Systems for Lewis' Conditional Logics.
JELIA
Björn Lellmann, Dirk Pattinson
2011 — conf
A note on a dichotomy for the classes W[P](C).
ICCSW
Björn Lellmann
2011 B conf
Cut Elimination for Shallow Modal Logics.
TABLEAUX
Björn Lellmann, Dirk Pattinson