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
EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization
Gerlach, L., Ivliev, A., Méndez, J., Meusel, S., Dachselt, R. & Krötzsch, M., 1 Nov. 2024, The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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. 12 S.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)
Proceedings of the ACM on Management of Data
ISSNs: 2836-6573
Association for Computing Machinery (ACM), USA/Vereinigte Staaten
Fachzeitschrift: Zeitschrift
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
Scopus-Bewertung (2024): CiteScore 4,5 SJR 0,681 SNIP 0,9
Fachzeitschrift: Zeitschrift
IEEE Transactions on Big Data
ISSNs: 2332-7790
Institute of Electrical and Electronics Engineers (IEEE), 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
Scopus-Bewertung (2024): CiteScore 14,3 SJR 1,146 SNIP 3,343
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