Chair of Knowledge-based Systems (cfaed)
Organisational unit: Chair
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Prizes
Stadler, Bernhard
- Department of Distributed and Data Intensive Computing (VDR) - Academic Staff
- Chair of Knowledge-based Systems (cfaed) - Academic Staff
Person: Current
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 othersK Murali, H. & Weidenbach, C., Mar 2022. 22 p.Research output: Contribution to conferences › Paper › Invited › peer-review
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). p. 5503-5511Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
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) .Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
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.Research output: Preprint/documentation/report › 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). p. 60-76 17 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
International journal of control
ISSNs: 0020-7179
Additional searchable ISSN (Electronic): 1366-5820
Taylor & Francis, London [u.a.]
Scopus rating (2021): CiteScore 4.8 SJR 0.928 SNIP 1.153
Journal
IEEE Transactions on Big Data
ISSNs: 2332-7790
IEEE, New York [u. a.], United States
Scopus rating (2021): CiteScore 6.9 SJR 0.656 SNIP 1.791
Journal
Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery / ed.-in-chief M. Stuart Lynn
ISSNs: 0001-0782
Additional searchable ISSN (Electronic): 1557-7317
Association for Computing Machinery (ACM), New York
Scopus rating (2021): CiteScore 8.7 SJR 1.564 SNIP 3.014
Journal
IEEE intelligent systems / Institute of Electrical and Electronics Engineers ; IEEE Computer Society
ISSNs: 1541-1672, 1094-7167, 0885-9000
Additional searchable ISSN (Electronic): 2374-9423
IEEE, New York [u. a.]
Scopus rating (2021): CiteScore 7.5 SJR 1.572 SNIP 2.138
Journal
Systems & Control Letters
ISSNs: 0167-6911
Additional searchable ISSN (Electronic): 1872-7956
Elsevier
Scopus rating (2021): CiteScore 5.1 SJR 1.753 SNIP 1.524
Journal