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)
Metric Temporal Description Logics with Interval-Rigid Names
Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2017, Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17). S. 60-76 17 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
International journal of control
ISSNs: 0020-7179
Weitere durchsuchbare ISSN (elektronisch): 1366-5820
Taylor & Francis, London [u.a.]
Scopus-Bewertung (2021): CiteScore 4,8 SJR 0,928 SNIP 1,153
Fachzeitschrift: Zeitschrift
IEEE Transactions on Big Data
ISSNs: 2332-7790
IEEE, New York [u. a.], USA/Vereinigte Staaten
Scopus-Bewertung (2021): CiteScore 6,9 SJR 0,656 SNIP 1,791
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 (2021): CiteScore 8,7 SJR 1,564 SNIP 3,014
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 (2021): CiteScore 7,5 SJR 1,572 SNIP 2,138
Fachzeitschrift: Zeitschrift
Systems & Control Letters
ISSNs: 0167-6911
Weitere durchsuchbare ISSN (elektronisch): 1872-7956
Elsevier
Scopus-Bewertung (2021): CiteScore 5,1 SJR 1,753 SNIP 1,524
Fachzeitschrift: Zeitschrift
Lohrmann Medaille
Gerlach, Lukas (Empfänger:in), 9 Dez. 2022
Auszeichnung: Preis › Studentischer Preis