BibTeX records: Björn Lellmann

download as .bib file

@article{DBLP:journals/logcom/GirlandoLOPP22,
  author       = {Marianna Girlando and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Stefano Pesce and
                  Gian Luca Pozzato},
  title        = {Calculi, countermodel generation and theorem prover for strong logics
                  of counterfactual reasoning},
  journal      = {J. Log. Comput.},
  volume       = {32},
  number       = {2},
  pages        = {233--280},
  year         = {2022},
  url          = {https://doi.org/10.1093/logcom/exab084},
  doi          = {10.1093/LOGCOM/EXAB084},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/GirlandoLOPP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ail/LellmannGC21,
  author       = {Bj{\"{o}}rn Lellmann and
                  Francesca Gulisano and
                  Agata Ciabattoni},
  title        = {M{\={\i}}m{\={a}}{\unicode{7747}}s{\={a}} deontic reasoning using
                  specificity: a proof theoretic approach},
  journal      = {Artif. Intell. Law},
  volume       = {29},
  number       = {3},
  pages        = {351--394},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10506-020-09278-w},
  doi          = {10.1007/S10506-020-09278-W},
  timestamp    = {Thu, 05 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ail/LellmannGC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DalmonteLOP21,
  author       = {Tiziano Dalmonte and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Elaine Pimentel},
  title        = {Hypersequent calculi for non-normal modal and deontic logics: countermodels
                  and optimal complexity},
  journal      = {J. Log. Comput.},
  volume       = {31},
  number       = {1},
  pages        = {67--111},
  year         = {2021},
  url          = {https://doi.org/10.1093/logcom/exaa072},
  doi          = {10.1093/LOGCOM/EXAA072},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/DalmonteLOP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KuznetsL21,
  author       = {Roman Kuznets and
                  Bj{\"{o}}rn Lellmann},
  title        = {Interpolation for intermediate logics via injective nested sequents},
  journal      = {J. Log. Comput.},
  volume       = {31},
  number       = {3},
  pages        = {797--831},
  year         = {2021},
  url          = {https://doi.org/10.1093/logcom/exab015},
  doi          = {10.1093/LOGCOM/EXAB015},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/KuznetsL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/CiabattoniL21,
  author       = {Agata Ciabattoni and
                  Bj{\"{o}}rn Lellmann},
  editor       = {Fenrong Liu and
                  Alessandra Marra and
                  Paul Portner and
                  Frederik Van De Putte},
  title        = {Sequent Rules for Reasoning and Conflict Resolution in Conditional
                  Norms},
  booktitle    = {Deontic Logic and Normative Systems - 15th International Conference,
                  {DEON} 2020/21, Munich, Germany [virtual], July 21-24, 2021},
  pages        = {94--113},
  publisher    = {College Publications},
  year         = {2021},
  timestamp    = {Mon, 28 Aug 2023 10:20:20 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/CiabattoniL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/RecskiLKH21,
  author       = {G{\'{a}}bor Recski and
                  Bj{\"{o}}rn Lellmann and
                  {\'{A}}d{\'{a}}m Kov{\'{a}}cs and
                  Allan Hanbury},
  editor       = {Kevin D. Ashley and
                  Katie Atkinson and
                  Luther Karl Branting and
                  Enrico Francesconi and
                  Matthias Grabmair and
                  Vern R. Walker and
                  Bernhard Waltl and
                  Adam Zachary Wyner and
                  Jack G. Conrad and
                  Jeremy Pickens and
                  Jason R. Baron and
                  Hans Henseler and
                  Daniel W. Linna Jr. and
                  Jyothi K. Vinjumur},
  title        = {Explainable Rule Extraction via Semantic Graphs},
  booktitle    = {Joint Proceedings of the Workshops on Automated Semantic Analysis
                  of Information in Legal Text {(ASAIL} 2021) {\&} {AI} and Intelligent
                  Assistance for Legal Professionals in the Digital Workplace (LegalAIIA
                  2021) held online in conjunction with 18th International Conference
                  on Artificial Intelligence and Law {(ICAIL} 2021), S{\~{a}}o Paolo,
                  Brazil (held online), June 21 {\&} 25, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2888},
  pages        = {24--35},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2888/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:45 +0100},
  biburl       = {https://dblp.org/rec/conf/icail/RecskiLKH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Lellmann21,
  author       = {Bj{\"{o}}rn Lellmann},
  editor       = {Anupam Das and
                  Sara Negri},
  title        = {From Input/Output Logics to Conditional Logics via Sequents - with
                  Provers},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 30th
                  International Conference, {TABLEAUX} 2021, Birmingham, UK, September
                  6-9, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12842},
  pages        = {147--164},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86059-2\_9},
  doi          = {10.1007/978-3-030-86059-2\_9},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Lellmann21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GirlandoLOPP20,
  author       = {Marianna Girlando and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Stefano Pesce and
                  Gian Luca Pozzato},
  editor       = {Francesco Calimeri and
                  Simona Perri and
                  Ester Zumpano},
  title        = {Theorem Proving for Lewis Logics of Counterfactual Reasoning},
  booktitle    = {Proceedings of the 35th Italian Conference on Computational Logic
                  - {CILC} 2020, Rende, Italy, October 13-15, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2710},
  pages        = {199--213},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2710/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GirlandoLOPP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DalmonteLOP20,
  author       = {Tiziano Dalmonte and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Elaine Pimentel},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Countermodel Construction via Optimal Hypersequent Calculi for Non-normal
                  Modal Logics},
  booktitle    = {Logical Foundations of Computer Science - International Symposium,
                  {LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11972},
  pages        = {27--46},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-36755-8\_3},
  doi          = {10.1007/978-3-030-36755-8\_3},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/DalmonteLOP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05436,
  author       = {Tiziano Dalmonte and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Elaine Pimentel},
  title        = {Hypersequent calculi for non-normal modal and deontic logics: Countermodels
                  and optimal complexity},
  journal      = {CoRR},
  volume       = {abs/2006.05436},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.05436},
  eprinttype    = {arXiv},
  eprint       = {2006.05436},
  timestamp    = {Sat, 13 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-05436.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LellmannP19,
  author       = {Bj{\"{o}}rn Lellmann and
                  Elaine Pimentel},
  title        = {Modularisation of Sequent Calculi for Normal and Non-normal Modalities},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {20},
  number       = {2},
  pages        = {7:1--7:46},
  year         = {2019},
  url          = {https://doi.org/10.1145/3288757},
  doi          = {10.1145/3288757},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/LellmannP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GirlandoLO19,
  author       = {Marianna Girlando and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti},
  editor       = {Francesco Calimeri and
                  Nicola Leone and
                  Marco Manna},
  title        = {Nested Sequents for the Logic of Conditional Belief},
  booktitle    = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
                  2019, Rende, Italy, May 7-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11468},
  pages        = {709--725},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-19570-0\_46},
  doi          = {10.1007/978-3-030-19570-0\_46},
  timestamp    = {Fri, 27 Mar 2020 08:53:33 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/GirlandoLO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/PimentelRL19,
  author       = {Elaine Pimentel and
                  Revantha Ramanayake and
                  Bj{\"{o}}rn Lellmann},
  editor       = {Serenella Cerrito and
                  Andrei Popescu},
  title        = {Sequentialising Nested Systems},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
                  International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11714},
  pages        = {147--165},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29026-9\_9},
  doi          = {10.1007/978-3-030-29026-9\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/PimentelRL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GoreL19,
  author       = {Rajeev Gor{\'{e}} and
                  Bj{\"{o}}rn Lellmann},
  editor       = {Serenella Cerrito and
                  Andrei Popescu},
  title        = {Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic
                  via Linear Nested Sequents},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
                  International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11714},
  pages        = {185--202},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29026-9\_11},
  doi          = {10.1007/978-3-030-29026-9\_11},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/GoreL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Lellmann19,
  author       = {Bj{\"{o}}rn Lellmann},
  editor       = {Serenella Cerrito and
                  Andrei Popescu},
  title        = {Combining Monotone and Normal Modal Logic in Nested Sequents - with
                  Countermodels},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 28th
                  International Conference, {TABLEAUX} 2019, London, UK, September 3-5,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11714},
  pages        = {203--220},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29026-9\_12},
  doi          = {10.1007/978-3-030-29026-9\_12},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Lellmann19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-01270,
  author       = {Rajeev Gor{\'{e}} and
                  Bj{\"{o}}rn Lellmann},
  title        = {Syntactic cut-elimination and backward proof-search for tense logic
                  via linear nested sequents (Extended version)},
  journal      = {CoRR},
  volume       = {abs/1907.01270},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.01270},
  eprinttype    = {arXiv},
  eprint       = {1907.01270},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-01270.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/CiabattoniLB18,
  author       = {Agata Ciabattoni and
                  Bj{\"{o}}rn Lellmann and
                  Kees van Berkel},
  title        = {\emph{Deontic reasoning: from ancient texts to artificial intelligence.}:
                  workshop report},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {5},
  number       = {4},
  pages        = {48--51},
  year         = {2018},
  url          = {https://doi.org/10.1145/3292048.3292054},
  doi          = {10.1145/3292048.3292054},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siglog/CiabattoniLB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KuznetsL18,
  author       = {Roman Kuznets and
                  Bj{\"{o}}rn Lellmann},
  editor       = {Guram Bezhanishvili and
                  Giovanna D'Agostino and
                  George Metcalfe and
                  Thomas Studer},
  title        = {Interpolation for Intermediate Logics via Hyper- and Linear Nested
                  Sequents},
  booktitle    = {Advances in Modal Logic 12, proceedings of the 12th conference on
                  "Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
                  2018},
  pages        = {473--492},
  publisher    = {College Publications},
  year         = {2018},
  url          = {http://www.aiml.net/volumes/volume12/Kuznets-Lellmann.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/KuznetsL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/CiabattoniGL18,
  author       = {Agata Ciabattoni and
                  Francesca Gulisano and
                  Bj{\"{o}}rn Lellmann},
  editor       = {Jan M. Broersen and
                  Cleo Condoravdi and
                  Nair Shyam and
                  Gabriella Pigozzi},
  title        = {Resolving Conflicting Obligations in M=\{I\}M=\{A\}S=\{A\}: a Sequent-based
                  Approach},
  booktitle    = {Deontic Logic and Normative Systems - 14th International Conference,
                  {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018},
  pages        = {91--109},
  publisher    = {College Publications},
  year         = {2018},
  timestamp    = {Tue, 30 Oct 2018 16:34:44 +0100},
  biburl       = {https://dblp.org/rec/conf/deon/CiabattoniGL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LellmannOP17,
  author       = {Bj{\"{o}}rn Lellmann and
                  Carlos Olarte and
                  Elaine Pimentel},
  editor       = {Thomas Eiter and
                  David Sands},
  title        = {A uniform framework for substructural logics with modalities},
  booktitle    = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
                  Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  series       = {EPiC Series in Computing},
  volume       = {46},
  pages        = {435--455},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/93qg},
  doi          = {10.29007/93QG},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/LellmannOP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GirlandoLOP17,
  author       = {Marianna Girlando and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Gian Luca Pozzato},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {Hypersequent Calculi for Lewis' Conditional Logics with Uniformity
                  and Reflexivity},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {131--148},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_8},
  doi          = {10.1007/978-3-319-66902-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/GirlandoLOP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GirlandoLOPV17,
  author       = {Marianna Girlando and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Gian Luca Pozzato and
                  Quentin Vitalis},
  editor       = {Renate A. Schmidt and
                  Cl{\'{a}}udia Nalon},
  title        = {{VINTE:} An Implementation of Internal Calculi for Lewis' Logics of
                  Counterfactual Reasoning},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
                  International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
                  September 25-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10501},
  pages        = {149--159},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66902-1\_9},
  doi          = {10.1007/978-3-319-66902-1\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/GirlandoLOPV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LellmannP17,
  author       = {Bj{\"{o}}rn Lellmann and
                  Elaine Pimentel},
  title        = {Modularisation of Sequent Calculi for Normal and Non-normal Modalities},
  journal      = {CoRR},
  volume       = {abs/1702.08193},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.08193},
  eprinttype    = {arXiv},
  eprint       = {1702.08193},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LellmannP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CiabattoniFGL17,
  author       = {Agata Ciabattoni and
                  Elisa Freschi and
                  Francesco A. Genco and
                  Bj{\"{o}}rn Lellmann},
  title        = {M{\={\i}}m{\={a}}{\textbackslash}d\{m\}s{\={a}} deontic logic: proof
                  theory and applications},
  journal      = {CoRR},
  volume       = {abs/1705.03211},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.03211},
  eprinttype    = {arXiv},
  eprint       = {1705.03211},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CiabattoniFGL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KuznetsL16,
  author       = {Roman Kuznets and
                  Bj{\"{o}}rn Lellmann},
  title        = {Grafting hypersequents onto nested sequents},
  journal      = {Log. J. {IGPL}},
  volume       = {24},
  number       = {3},
  pages        = {375--423},
  year         = {2016},
  url          = {https://doi.org/10.1093/jigpal/jzw005},
  doi          = {10.1093/JIGPAL/JZW005},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/KuznetsL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lellmann16,
  author       = {Bj{\"{o}}rn Lellmann},
  title        = {Hypersequent rules with restricted contexts for propositional modal
                  logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {656},
  pages        = {76--105},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.10.004},
  doi          = {10.1016/J.TCS.2016.10.004},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Lellmann16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GirlandoLOP16,
  author       = {Marianna Girlando and
                  Bj{\"{o}}rn Lellmann and
                  Nicola Olivetti and
                  Gian Luca Pozzato},
  editor       = {Loizos Michael and
                  Antonis C. Kakas},
  title        = {Standard Sequent Calculi for Lewis' Logics of Counterfactuals},
  booktitle    = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
                  2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10021},
  pages        = {272--287},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48758-8\_18},
  doi          = {10.1007/978-3-319-48758-8\_18},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GirlandoLOP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiabattoniLOP17,
  author       = {Agata Ciabattoni and
                  Bj{\"{o}}rn Lellmann and
                  Carlos Olarte and
                  Elaine Pimentel},
  editor       = {Vivek Nigam and
                  M{\'{a}}rio Florido},
  title        = {From Cut-free Calculi to Automated Deduction: The Case of Bounded
                  Contraction},
  booktitle    = {11th Workshop on Logical and Semantic Frameworks with Applications,
                  {LSFA} 2016, Porto, Portugal, January 1, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {332},
  pages        = {75--93},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.04.006},
  doi          = {10.1016/J.ENTCS.2017.04.006},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CiabattoniLOP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LellmannP15,
  author       = {Bj{\"{o}}rn Lellmann and
                  Elaine Pimentel},
  editor       = {Martin Davis and
                  Ansgar Fehnker and
                  Annabelle McIver and
                  Andrei Voronkov},
  title        = {Proof Search in Nested Sequent Calculi},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
                  International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
                  2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9450},
  pages        = {558--574},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48899-7\_39},
  doi          = {10.1007/978-3-662-48899-7\_39},
  timestamp    = {Mon, 03 Jan 2022 22:31:30 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/LellmannP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Lellmann15,
  author       = {Bj{\"{o}}rn Lellmann},
  editor       = {Hans de Nivelle},
  title        = {Linear Nested Sequents, 2-Sequents and Hypersequents},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
                  International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
                  21-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9323},
  pages        = {135--150},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24312-2\_10},
  doi          = {10.1007/978-3-319-24312-2\_10},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Lellmann15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CiabattoniFGL15,
  author       = {Agata Ciabattoni and
                  Elisa Freschi and
                  Francesco A. Genco and
                  Bj{\"{o}}rn Lellmann},
  editor       = {Hans de Nivelle},
  title        = {M{\={\i}}m{\={a}}{\unicode{7747}}s{\={a}} Deontic Logic: Proof Theory
                  and Applications},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
                  International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
                  21-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9323},
  pages        = {323--338},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24312-2\_22},
  doi          = {10.1007/978-3-319-24312-2\_22},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/CiabattoniFGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuznetsL15,
  author       = {Roman Kuznets and
                  Bj{\"{o}}rn Lellmann},
  title        = {Grafting Hypersequents onto Nested Sequents},
  journal      = {CoRR},
  volume       = {abs/1502.00814},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.00814},
  eprinttype    = {arXiv},
  eprint       = {1502.00814},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KuznetsL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Lellmann14,
  author       = {Bj{\"{o}}rn Lellmann},
  editor       = {St{\'{e}}phane Demri and
                  Deepak Kapur and
                  Christoph Weidenbach},
  title        = {Axioms vs Hypersequent Rules with Context Restrictions: Theory and
                  Applications},
  booktitle    = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 19-22, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8562},
  pages        = {307--321},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08587-6\_23},
  doi          = {10.1007/978-3-319-08587-6\_23},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Lellmann14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Lellmann13,
  author       = {Bj{\"{o}}rn Lellmann},
  title        = {Sequent calculi with context restrictions and applications to conditional
                  logic},
  school       = {Imperial College London, {UK}},
  year         = {2013},
  url          = {https://hdl.handle.net/10044/1/18059},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Lellmann13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcv/LellmannLWS13,
  author       = {Jan Lellmann and
                  Bj{\"{o}}rn Lellmann and
                  Florian Widmann and
                  Christoph Schn{\"{o}}rr},
  title        = {Discrete and Continuous Models for Partitioning Problems},
  journal      = {Int. J. Comput. Vis.},
  volume       = {104},
  number       = {3},
  pages        = {241--269},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11263-013-0621-4},
  doi          = {10.1007/S11263-013-0621-4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcv/LellmannLWS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/LellmannP13,
  author       = {Bj{\"{o}}rn Lellmann and
                  Dirk Pattinson},
  editor       = {Kamal Lodaya},
  title        = {Constructing Cut Free Sequent Systems with Context Restrictions Based
                  on Classical or Intuitionistic Logic},
  booktitle    = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
                  India, January 10-12, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7750},
  pages        = {148--160},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36039-8\_14},
  doi          = {10.1007/978-3-642-36039-8\_14},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/icla/LellmannP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LellmannP13,
  author       = {Bj{\"{o}}rn Lellmann and
                  Dirk Pattinson},
  editor       = {Didier Galmiche and
                  Dominique Larchey{-}Wendling},
  title        = {Correspondence between Modal Hilbert Axioms and Sequent Rules with
                  an Application to {S5}},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
                  International Conference, {TABLEAUX} 2013, Nancy, France, September
                  16-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8123},
  pages        = {219--233},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40537-2\_19},
  doi          = {10.1007/978-3-642-40537-2\_19},
  timestamp    = {Mon, 16 Sep 2019 15:24:38 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/LellmannP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LellmannP12,
  author       = {Bj{\"{o}}rn Lellmann and
                  Dirk Pattinson},
  editor       = {Luis Fari{\~{n}}as del Cerro and
                  Andreas Herzig and
                  J{\'{e}}r{\^{o}}me Mengin},
  title        = {Sequent Systems for Lewis' Conditional Logics},
  booktitle    = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
                  2012, Toulouse, France, September 26-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7519},
  pages        = {320--332},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33353-8\_25},
  doi          = {10.1007/978-3-642-33353-8\_25},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/LellmannP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Lellmann11,
  author       = {Bj{\"{o}}rn Lellmann},
  editor       = {Andrew V. Jones},
  title        = {A note on a dichotomy for the classes {W[P](C)}},
  booktitle    = {2011 Imperial College Computing Student Workshop, {ICCSW} 2011, London,
                  United Kingdom, September 29-30, 2011. Proceedings},
  series       = {Department of Computing Technical Report},
  volume       = {{DTR11-9}},
  pages        = {46--51},
  publisher    = {Imperial College London},
  year         = {2011},
  url          = {http://www.doc.ic.ac.uk/research/technicalreports/2011/\#9},
  timestamp    = {Tue, 04 Dec 2012 09:38:37 +0100},
  biburl       = {https://dblp.org/rec/conf/iccsw/Lellmann11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LellmannP11,
  author       = {Bj{\"{o}}rn Lellmann and
                  Dirk Pattinson},
  editor       = {Kai Br{\"{u}}nnler and
                  George Metcalfe},
  title        = {Cut Elimination for Shallow Modal Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
                  International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
                  4-8, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6793},
  pages        = {211--225},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22119-4\_17},
  doi          = {10.1007/978-3-642-22119-4\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/LellmannP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics