Professur für Computational Logic
Organisation: Professur
Organisationsprofil
Inhaber:in der Professur: Prof. Dr. rer. nat. Sebastian Rudolph
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Auszeichnungen
Rudolph, Sebastian
- Professur für Computational Logic - Wissenschaftliches Personal
- Fakultät Mathematik - Wissenschaftliches Personal
Person
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Fichte, J. K., Gaggl, S. A., Hecher, M. & Rusovac, D., 21 Feb. 2024, in: Theory and Practice of Logic Programming. 24, 3, S. 505-532Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › 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
Navigating ASP Solution Spaces (Invited Talk, Abstract)
Gaggl, S. A., 2024, S. 2.Publikation: Beitrag zu Konferenzen › Abstract › Eingeladen
Winning Snake: Design Choices in Multi-Shot ASP.
Böhl, E., Ellmauthaler, S. & Gaggl, S. A., 2024.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
How to Tell Easy from Hard: Complexity of Conjunctive Query Entailment in Extensions of ALC
Bednarczyk, B. & Rudolph, S., 1 Nov. 2023, in: Journal of Artificial Intelligence Research. 78, S. 385-458 74 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Frontiers in Artificial Intelligence and Applications : FAIA (Vol. 245)
ISSNs: 0922-6389
Weitere durchsuchbare ISSN (elektronisch): 0922-6389
IOS Press, Amsterdam [u. a.], Niederlande
Fachzeitschrift: Schriftenreihe
Proceedings of the AAAI Conference on Artificial Intelligence
ISSNs: 2159-5399
Weitere durchsuchbare ISSN (elektronisch): 2374-3468
AAAI Press
Fachzeitschrift: Zeitschrift
Cognitive systems research
ISSNs: 1389-0417
Weitere durchsuchbare ISSN (elektronisch): 1389-0417
Elsevier Science B.V., Niederlande
Scopus-Bewertung (2022): CiteScore 13,1 SJR 1,068 SNIP 1,894
Fachzeitschrift: Zeitschrift
European journal of combinatorics
ISSNs: 0195-6698
Elsevier Science B.V., Niederlande
Scopus-Bewertung (2023): CiteScore 2,1 SJR 1,09 SNIP 1,3
Fachzeitschrift: Zeitschrift
Journal of applied logics - IfCoLoG journal of logics and their applications
College Publications, Großbritannien/Vereinigtes Königreich
Fachzeitschrift: Zeitschrift
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
Outstanding Academic Title
Krötzsch, M. (Empfänger:in), Rudolph, S. (Empfänger:in) & Hitzler, P. (Empfänger:in), 2010
Auszeichnung: Preis › Publikations-/Konferenzpreis