Professur für Wissensbasierte Systeme (cfaed)
Organisation: Professur
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Auszeichnungen
Stadler, Bernhard
- Abteilung Verteiltes und Datenintensives Rechnen (VDR) - Wissenschaftliches Personal
- Professur für Wissensbasierte Systeme (cfaed) - Wissenschaftliches Personal
Person: Aktiv
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
Bromberger, M., Dragoste, I. T., Faqeh, R., Fetzer, C., González González, L. J., Krötzsch, M., Marx, M., & 2 weitereK Murali, H. & Weidenbach, C., März 2022. 22 S.Publikation: Beitrag zu Konferenzen › Paper › Eingeladen › Begutachtung
Expressivity of Planning with Horn Description Logic Ontologies
Borgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, Proc. of the 36th AAAI Conference on Artificial Intelligence (AAAI). S. 5503-5511Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
Borgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022) .Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
Borgwardt, S., Hoffmann, J., Kovtunova, A., Krötzsch, M., Nebel, B. & Steinmetz, M., 2022, arXiv.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
Simulating Sets in Answer Set Programming
Gaggl, S. A., Hanisch, P. & Krötzsch, M., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI 2022). Raedt, L. D. (Hrsg.). ijcai.org, S. 2634–2640 7 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Linux-Magazin
ISSNs: 1432-640X
Weitere durchsuchbare ISSN (elektronisch): 1432-640X
Computec Media GmbH, Deutschland
Fachzeitschrift: Zeitschrift
International journal of control
ISSNs: 0020-7179
Weitere durchsuchbare ISSN (elektronisch): 1366-5820
Taylor & Francis, London [u.a.]
Scopus-Bewertung (2022): CiteScore 4,9 SJR 0,87 SNIP 1,043
Fachzeitschrift: Zeitschrift
IEEE Transactions on Big Data
ISSNs: 2332-7790
IEEE, New York [u. a.], USA/Vereinigte Staaten
Scopus-Bewertung (2022): CiteScore 9,7 SJR 1,182 SNIP 2,144
Fachzeitschrift: Zeitschrift
Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery / ed.-in-chief M. Stuart Lynn
ISSNs: 0001-0782
Weitere durchsuchbare ISSN (elektronisch): 1557-7317
Association for Computing Machinery (ACM), New York
Scopus-Bewertung (2022): CiteScore 9,8 SJR 1,514 SNIP 3,392
Fachzeitschrift: Zeitschrift
IEEE intelligent systems / Institute of Electrical and Electronics Engineers ; IEEE Computer Society
ISSNs: 1541-1672, 1094-7167, 0885-9000
Weitere durchsuchbare ISSN (elektronisch): 2374-9423
IEEE, New York [u. a.]
Scopus-Bewertung (2022): CiteScore 10,2 SJR 1,872 SNIP 2,532
Fachzeitschrift: Zeitschrift
Lohrmann Medaille
Gerlach, Lukas (Empfänger:in), 9 Dez. 2022
Auszeichnung: Preis › Studentischer Preis
Best Paper Award Research Track
González González, Larry Javier (Empfänger:in), Ivliev, Alex (Empfänger:in), Krötzsch, Markus (Empfänger:in) & Mennicke, Stephan (Empfänger:in), 27 Okt. 2022
Auszeichnung: Preis › Publikations-/Konferenzpreis
Lehrpreis Digitale Lehre in der Informatik
Krötzsch, Markus (Empfänger:in), 2021
Auszeichnung: Preis › Preis für Lehre (inkl. Betreuung)
Ray Reiter Best Paper Award
Bourgaux, Camille (Empfänger:in), Carral Martinez, David (Empfänger:in), Krötzsch, Markus (Empfänger:in), Rudolph, Sebastian (Empfänger:in) & Thomazo, Michaël (Empfänger:in), 2021
Auszeichnung: Preis › Publikations-/Konferenzpreis
Best Paper Award, Resources Track of the International Semantic Web Conference
González González, Larry Javier (Empfänger:in), Carral Martinez, David (Empfänger:in), Dragoste, Irina Teodora (Empfänger:in), Jacobs, Ceriel (Empfänger:in), Krötzsch, Markus (Empfänger:in) & Urbani, Jacopo (Empfänger:in), 2019
Auszeichnung: Preis › Publikations-/Konferenzpreis