Publications
Auteurs:
Jean Christoph Jung, Carsten Lutz, Mauricio Martel and Thomas Schneider
Publié dans:
Proc of International Conference on Database Theory (ICDT) 2018, 2018, Page(s) 15:1--15:18, ISBN 978-3-95977-063-7
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICDT.2018.15
Auteurs:
Peter Hansen, Carsten Lutz
Publié dans:
Proc of the International Semantic Web Conference (ISWC) 2017, 2017, Page(s) 347-363, ISBN 978-3-319-68287-7
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-68288-4_21
Auteurs:
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, and Jean Christoph Jung
Publié dans:
Proc. of the AAAI Conference on Artificial Intelligence (AAAI) 2018, 2018
Éditeur:
AAAI Press
Auteurs:
Peter Hansen, Carsten Lutz
Publié dans:
Proc of the International Workshop on Description Logics (DL) 2017, 2017
Éditeur:
CEUR Workshop Proceedings
Auteurs:
Carsten Lutz, Leif Sabellek
Publié dans:
Proc of the International Workshop on Description Logics (DL) 2018, 2017
Éditeur:
CEUR Workshop Proceedings
Auteurs:
Carsten Lutz, Leif Sabellek
Publié dans:
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Page(s) 1181-1187, ISBN 9780-999241103
Éditeur:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2017/164
Auteurs:
Antti Kuusisto, Fabian Reiter
Publié dans:
Proc of International Symposium on Games, Automata, Logics and Formal Verification (GandALF) 2017, 2017, Page(s) 210-222
Éditeur:
Arxive
Auteurs:
Emanuel Kieronski, Antti Kuusisto
Publié dans:
Proc of International Symposium on Mathematical Foundations of Computer Science, 2017, Page(s) 1-13, ISBN 978-3-95977-046-0
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.MFCS.2017.64
Auteurs:
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, and Frank Wolter
Publié dans:
Proc. of the International Joint Conference on Artificial Intelligence (IJCAI), 2016, Page(s) 965-971, ISBN 978-1-57735-770-4
Éditeur:
IJCAI/AAAI Press
Auteurs:
Cristina Feier, Carsten Lutz, Frank Wolter
Publié dans:
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1810-1816, ISBN 9780-999241127
Éditeur:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2018/250
Auteurs:
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Publié dans:
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1707-1713, ISBN 9780-999241127
Éditeur:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2018/236
Auteurs:
Antti Kuusisto, Carsten Lutz
Publié dans:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 619-628, ISBN 9781-450355834
Éditeur:
ACM Press
DOI:
10.1145/3209108.3209168
Auteurs:
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
Publié dans:
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1847-1853, ISBN 9780-999241127
Éditeur:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2018/255
Auteurs:
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
Publié dans:
Proc of 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018
Éditeur:
CEUR-WS
Auteurs:
David Carral,Cristina Feier, Pascal Hitzler
Publié dans:
Proc. of the International Semantic Web Conference (ISWC) 2016, Numéro 9981, 2016, Page(s) 70-85, ISBN 978-3-319-46522-7
Éditeur:
Springer
DOI:
10.1007/978-3-319-46523-4
Auteurs:
Pierre Bourhis, Carsten Lutz
Publié dans:
Proc of the International Conference on Knowledge Representation and Reasoning (KR) 2016, 2016, Page(s) 207-216, ISBN 978-1-57735-755-1
Éditeur:
AAAI Press
Auteurs:
Cristina Feier, Antti Kuusisto, Carsten Lutz
Publié dans:
Proc of the International Conference on Database Theory (ICDT) 2017, 2017
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Auteurs:
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
Publié dans:
Proc of the International Workshop on Description Logics (DL) 2016, Numéro 1577, 2016
Éditeur:
CEUR-WS.org
Auteurs:
Carsten Lutz
Publié dans:
Proc of the Symposium on Theoretical Aspects in Computer Science (STACS) 2016, Numéro 47(2), 2016, Page(s) 1-11, ISBN 978-3-95977-001-9
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.STACS.2016.2
Auteurs:
Cristina Feier, Antti Kuusisto, Carsten Lutz
Publié dans:
Proc of the International Workshop on Description Logics (DL) 2016, Numéro 1577, 2016
Éditeur:
CEUR-WS.org
Auteurs:
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter , Michael Zakharyaschev
Publié dans:
Reasoning Web 2016, Numéro 9885, 2016, Page(s) 27-89, ISBN 978-3-319-49492-0
Éditeur:
Springer
DOI:
10.1007/978-3-319-49493-7
Auteurs:
Antti Kuusisto
Publié dans:
Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, 2016., 2016
Éditeur:
ceur-ws.org
Auteurs:
Juha Kontinen, Antti Kuusisto, Jonni VIrtema
Publié dans:
41st International Symposium on Mathematical Foundations of Computer Science, 2016., 2016
Éditeur:
Lipics
Auteurs:
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Publié dans:
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17, 2017, Page(s) 185-199, ISBN 9781-450341981
Éditeur:
ACM Press
DOI:
10.1145/3034786.3056108
Auteurs:
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
Publié dans:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 1719-1725, ISBN 978-0-9992411-4-1
Éditeur:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2019/238
Auteurs:
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Ibáñez-García, Jean Christoph Jung, Filip Murlak
Publié dans:
Proc. of the International Workshop on Description Logics (DL) 2019, Numéro 2373, 2019
Éditeur:
CEUR-WS.org
Auteurs:
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Publié dans:
Proc. of the International Workshop on Description Logics (DL) 2019, Numéro 2373, 2019
Éditeur:
CEUR-WS.org
Auteurs:
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Publié dans:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-14, ISBN 978-1-7281-3608-0
Éditeur:
IEEE
DOI:
10.1109/lics.2019.8785658
Auteurs:
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
Publié dans:
Proc. of the International Conference on Knowledge Representation and Reasoning (KR) 2018, 2018, Page(s) 602-612, ISBN 978-1-57735-803-9
Éditeur:
AAAI Press
Auteurs:
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Publié dans:
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Page(s) 1116-1122, ISBN 9780-999241103
Éditeur:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2017/155
Auteurs:
Cristina Feier, Carsten Lutz, Frank Wolter
Publié dans:
Proc of the International Workshop on Description Logics (DL) 2018, Numéro 2211, 2018
Éditeur:
CEUR Workshop Proceedings
Auteurs:
Pablo Barcelo, Cristina Feier, Carsten Lutz, Andreas Pieris
Publié dans:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-13, ISBN 978-1-7281-3608-0
Éditeur:
IEEE
DOI:
10.1109/lics.2019.8785823
Auteurs:
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
Publié dans:
Proc. of the 39th Symposium on Principles of Database Systems (PODS) 2020, 2020
Éditeur:
ACM Press
Auteurs:
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
Publié dans:
Proc. of the International Workshop on Description Logics (DL) 2019, Numéro 2373, 2019
Éditeur:
CEUR Workshop Proceedings
Auteurs:
Carsten Lutz, Johannes Marti, Leif Sabellek
Publié dans:
Proc. of the International Conference on Knowledge Representation and Reasoning (KR) 2018, 2018, Page(s) 389-398, ISBN 978-1-57735-803-9
Éditeur:
AAAI Press
Auteurs:
Carsten Lutz, Leif Sabellek
Publié dans:
International Workshop on Description Logics, 2020
Éditeur:
CEUR Workshop Proceedings
Auteurs:
Cristina Feier, Carsten Lutz, Marcin Prybylko
Publié dans:
International Workshop on Description Logic, 2020
Éditeur:
CEUR Workshop Proceedings
Auteurs:
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Publié dans:
International Conference on Principles of Knowledge Representation and Reasoning, 2020
Éditeur:
AAAI Press
Auteurs:
Carsten Lutz, Frank Wolter
Publié dans:
Logical Methods in Computer Science, Numéro 13(4), 2017, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.23638/LMCS-13(4:7)2017
Auteurs:
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev
Publié dans:
Artificial Intelligence, 2018, ISSN 0004-3702
Éditeur:
Elsevier BV
Auteurs:
Cristina Feier, Antti Kuusisto, Carsten Lutz
Publié dans:
Logical Methods in Computer Science, Numéro 15(2), 2019, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(2:15)2019
Auteurs:
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Publié dans:
Journal of Artificial Intelligence Research (JAIR), 2020, ISSN 1076-9757
Éditeur:
Morgan Kaufmann Publishers, Inc.
Auteurs:
Carsten Lutz, Inanc Seylan, Frank Wolter
Publié dans:
Logical Methods in Computer Science, Numéro 15(3), 2019, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-15(3:23)2019
Auteurs:
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Publié dans:
ACM Transactions on Computational Logic, Numéro 21/3, 2020, Page(s) 1-47, ISSN 1529-3785
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/3375628
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible