Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Björn Lellmann
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.