Professur für Wissensbasierte Systeme (cfaed)
Organisation: Professur
Organisationsprofil
Inhaber:in der Professur: Prof. Dr. rer. pol. Markus Krötzsch
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Auszeichnungen
Towards Mass Spectrum Analysis with ASP
Küchenmeister, N., Ivliev, A. & Krötzsch, M., 9 Okt. 2024, Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings: 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings. Dodaro, C., Gupta, G. & Martinez, M. V. (Hrsg.). Dallas, TX, USA: Springer, Cham, S. 200-214 15 S. (Lecture notes in computer science, Band 15245). (Lecture Notes in Artificial Intelligence (LNAI)).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., Mai 2024, in: Theory and practice of logic programming : TPLP. 24, 3, S. 505-532 28 S.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung
Navigating and Querying Answer Sets: How Hard Is It Really and Why?
Rusovac, D., Hecher, M., Gebser, M., Gaggl, S. A. & Fichte, J. K., 2024, S. 642–653.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
Winning Snake: Design Choices in Multi-Shot ASP.
Böhl, E., Ellmauthaler, S. & Gaggl, S. A., 2024.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
Nemo: First Glimpse of a New Rule Engine
Ivliev, A., Ellmauthaler, S., Gerlach, L., Marx, M., Meißner, M., Meusel, S. & Krötzsch, M., 12 Sept. 2023, Proceedings 39th International Conference on Logic Programming. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., Garcez, A. D., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (Hrsg.). S. 333-335 3 S. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Band 385).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 (2023): CiteScore 5 SJR 0,862 SNIP 0,996
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)
Scopus-Bewertung (2023): CiteScore 16,1 SJR 2,957 SNIP 5,136
Fachzeitschrift: Zeitschrift
Systems & Control Letters
ISSNs: 0167-6911
Weitere durchsuchbare ISSN (elektronisch): 1872-7956
Elsevier Science B.V.
Scopus-Bewertung (2023): CiteScore 4,6 SJR 1,503 SNIP 1,195
Fachzeitschrift: Zeitschrift
Georg-Helm-Preis 2022
Hanisch, P. (Empfänger:in), 4 Feb. 2023
Auszeichnung: Preis › Studentischer Preis
Best Paper Award Research Track
González González, L. J. (Empfänger:in), Ivliev, A. (Empfänger:in), Krötzsch, M. (Empfänger:in) & Mennicke, S. (Empfänger:in), 27 Okt. 2022
Auszeichnung: Preis › Publikations-/Konferenzpreis
Lehrpreis Digitale Lehre in der Informatik
Krötzsch, M. (Empfänger:in), 2021
Auszeichnung: Preis › Preis für Lehre (inkl. Betreuung)
Ray Reiter Best Paper Award
Bourgaux, C. (Empfänger:in), Carral Martinez, D. (Empfänger:in), Krötzsch, M. (Empfänger:in), Rudolph, S. (Empfänger:in) & Thomazo, M. (Empfänger:in), 2021
Auszeichnung: Preis › Publikations-/Konferenzpreis