Veröffentlichungen
Autoren:
Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Veröffentlicht in:
Proceedings of the 26th International Conference on Database Theory (ICDT 2023), volume 255 of Leibniz International Proceedings in Informatics (LIPIcs), 2023, Seite(n) 8:1-18:18
Herausgeber:
Leibniz-Zentrum für Informatik GmbH
DOI:
10.4230/lipics.icdt.2023.18
Autoren:
Tim S. Lyon
Veröffentlicht in:
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021), 2021, Seite(n) pp 409-427
Herausgeber:
SpringerLink
DOI:
10.1007/978-3-030-86059-2_24
Autoren:
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Veröffentlicht in:
LIPIcs–Leibniz International Proceedings in Informatics, 2021, Seite(n) 20:1–120:17
Herausgeber:
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI:
10.4230/lipics.icalp.2021.120
Autoren:
Frederic Dörband, Thomas Feller, Kevin Stier
Veröffentlicht in:
International Conference on Language and Automata Theory and Applications (LATA 2021), Ausgabe 2021, 2021, Seite(n) pp 267–278
Herausgeber:
SpringerLink
DOI:
10.1007/978-3-030-68195-1_21
Autoren:
Bartosz Bednarczyk, Reijo Jaakkola
Veröffentlicht in:
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), volume 241, 2022
Herausgeber:
Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH
DOI:
10.4230/lipics.mfcs.2022.15
Autoren:
Emanuel Kieronski, Sebastian Rudolph
Veröffentlicht in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-13, ISBN 978-1-6654-4895-6
Herausgeber:
IEEE
DOI:
10.1109/lics52264.2021.9470734
Autoren:
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Veröffentlicht in:
Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, 2022
Herausgeber:
SpringerLink
DOI:
10.1007/978-3-031-21541-4_7
Autoren:
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
Veröffentlicht in:
Proceedings of the 21st International Semantic Web Conference (ISWC 22), volume 13489 of Lecture Notes in Computer Science, 2022
Herausgeber:
SpringerLink
DOI:
10.1007/978-3-031-19433-7_8
Autoren:
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
Veröffentlicht in:
Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 2022, Seite(n) 359-367
Herausgeber:
ACM Digital Library
DOI:
10.1145/3517804.3524163
Autoren:
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Veröffentlicht in:
Proceedings of the 32nd International Workshop on Description Logics, Ausgabe 2373, 2019, ISSN 1613-0073
Herausgeber:
CEUR.org
Autoren:
Krötzsch, Markus ; Marx, Maximilian ; Rudolph, Sebastian
Veröffentlicht in:
22nd International Conference on Database Theory (ICDT 2019), Ausgabe 127, 2019, ISBN 978-3-95977-101-6
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.icdt.2019.3
Autoren:
Bartosz Bednarczyk, Sebastian Rudolph
Veröffentlicht in:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 1530-1536, ISBN 978-0-9992411-4-1
Herausgeber:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2019/212
Autoren:
Sebastian Rudolph, Mantas Simkus
Veröffentlicht in:
EPiC Series in Computing volume 57, Ausgabe vol 57, 2018, Seite(n) 604-587, ISSN 2398-7340
Herausgeber:
EasyChair
DOI:
10.29007/m8ts
Autoren:
Bartosz Bednarczyk, Sebastian Rudolph
Veröffentlicht in:
Proceedings of the 32nd International Workshop on Description Logics, Ausgabe 2373, 2019, ISSN 1613-0073
Herausgeber:
CEUR.org
Autoren:
Frederic Dörband, Thomas Feller, Kevin Stier
Veröffentlicht in:
International Conference on Language and Automata Theory and Applications (LATA 2021), Ausgabe LATA2021, 2021, Seite(n) pp 255–266
Herausgeber:
SpringerLink
DOI:
10.1007/978-3-030-68195-1_20
Autoren:
Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja
Veröffentlicht in:
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Seite(n) 1719-1725, ISBN 978-0-9992411-6-5
Herausgeber:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2020/238
Autoren:
Bednarczyk, Bartosz; Rudolph, Sebastian
Veröffentlicht in:
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 2022, Seite(n) 5495-5502
Herausgeber:
PKP Publishing Services Network
DOI:
10.1609/aaai.v36i5.20488
Autoren:
Bartosz Bednarczyk, Stephane Demri, Alessio Mansutti
Veröffentlicht in:
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, Seite(n) 1681-1687, ISBN 978-0-9992411-6-5
Herausgeber:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2020/233
Autoren:
Manuel Bodirsky, Thomas Feller, Simon Knauer, Sebastian Rudolph
Veröffentlicht in:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-13, ISBN 978-1-6654-4895-6
Herausgeber:
IEEE
DOI:
10.1109/lics52264.2021.9470511
Autoren:
Tim Lyon, Lucía Gómez Álvarez
Veröffentlicht in:
In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Main Track., 2022, Seite(n) 257-266
Herausgeber:
IJCAI Organization
DOI:
10.24963/kr.2022/26
Autoren:
Bartosz Bednarczyk, Emanuel Kieroński
Veröffentlicht in:
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 2022, Seite(n) 5487--5494
Herausgeber:
PKP Publishing Services Network
DOI:
10.1609/aaai.v36i5.20487
Autoren:
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
Veröffentlicht in:
Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), 2021, Seite(n) 141-150
Herausgeber:
International Joint Conferences on Artificial Intelligence (IJCAI)
DOI:
10.24963/ijcai.2022/733
Autoren:
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Veröffentlicht in:
KI - Künstliche Intelligenz, Ausgabe 34/3, 2020, Seite(n) 389-394, ISSN 0933-1875
Herausgeber:
Springer
DOI:
10.1007/s13218-020-00669-4
Autoren:
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
Veröffentlicht in:
Journal of Artificial Intelligence Research, Ausgabe 70, 2021, Seite(n) 1-64, ISSN 1076-9757
Herausgeber:
Morgan Kaufmann Publishers, Inc.
DOI:
10.1613/jair.1.11348
Autoren:
Thomas Feller, Christian Pech, Maja Pech
Veröffentlicht in:
European Journal of Combinatorics, Ausgabe 89, 2020, Seite(n) 103142, ISSN 0195-6698
Herausgeber:
Academic Press
DOI:
10.1016/j.ejc.2020.103142
Autoren:
Tim S. Lyon
Veröffentlicht in:
Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, Ausgabe 13040, 2021, Seite(n) 495-503, ISBN 978-3-030-89390-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-89391-0_29
Autoren:
Bartosz Bednarczyk
Veröffentlicht in:
Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings, Ausgabe 12678, 2021, Seite(n) 179-193, ISBN 978-3-030-75774-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-75775-5_13
Autoren:
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Veröffentlicht in:
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Ausgabe 11560, 2019, Seite(n) 441-474, ISBN 978-3-030-22101-0
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-22102-7_21
Autoren:
Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
Veröffentlicht in:
Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures, Ausgabe 11810, 2019, Seite(n) 153-195, ISBN 978-3-030-31422-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-31423-1_5
Autoren:
Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
Veröffentlicht in:
PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I, Ausgabe 11670, 2019, Seite(n) 486-499, ISBN 978-3-030-29907-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-29908-8_39
Autoren:
“Johann” Sebastian Rudolph
Veröffentlicht in:
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Ausgabe 11560, 2019, Seite(n) 542-561, ISBN 978-3-030-22101-0
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-22102-7_25
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor