المؤلفون: Lellmann, Björn, Marek, Philipp, Triska, Markus

المصدر: In: Gibbons, J., Miller, D. (eds) Functional and Logic Programming. FLOPS 2024. Lecture Notes in Computer Science, vol 14659. Springer, Singapore

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2406.15293

المؤلفون: Recski, Gábor^{Aff1, IDs10579024097477_cor1}, Iklódi, Eszter, Lellmann, Björn^{Aff1, Aff2}, Kovács, Ádám^{Aff1, Aff3}, Hanbury, Allan^{Aff1, Aff4}

المصدر: Language Resources and Evaluation. :1-40

المؤلفون: Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2006.05436

المؤلفون: Goré, Rajeev, Lellmann, Björn

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1907.01270

المؤلفون: Lellmann, Björn^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Das, Anupam, editor^Aff8, Negri, Sara, editor^Aff9

المصدر: Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings. 12842:147-164

المؤلفون: Ciabattoni, Agata, Freschi, Elisa, Genco, Francesco A., Lellmann, Björn

المصدر: In Hans de Nivelle (ed.), Proceedings of TABLEAUX 2015. Pages 323-338. 2015

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1705.03211

المؤلفون: Lellmann, Björn, Pimentel, Elaine

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic

URL الوصول: http://arxiv.org/abs/1702.08193

المؤلفون: Lellmann, Björn^Aff1, Gulisano, Francesca, Ciabattoni, Agata

المصدر: Artificial Intelligence and Law. 29(3):351-394

المؤلفون: Dalmonte, Tiziano^Aff10, Lellmann, Björn^Aff11, Olivetti, Nicola^Aff10, Pimentel, Elaine^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Artemov, Sergei, editor^Aff8, Nerode, Anil, editor^Aff9

المصدر: Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings. 11972:27-46

المؤلفون: Kuznets, Roman, Lellmann, Björn

المصدر: Logic Journal of the IGPL, Volume 24(3):375-423, June 2016

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic

URL الوصول: http://arxiv.org/abs/1502.00814