Professur für Wissensverarbeitung
Organisation: Professur
Organisationsprofil
Ehemalige:r Inhaber:in der Professur: Prof. Dr. Steffen Hölldobler
Kontakt
- TUD Webseite: https://tu-dresden.de/ing/informatik/ki/krr
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Auszeichnungen
Netrank: network-based approach for biomarker discovery
Al-Fatlawi, A., Rusadze, E., Shmelkin, A., Malekian, N., Ozen, C., Pilarsky, C. & Schroeder, M., 29 Juli 2023, in: BMC bioinformatics. 24, 1, 304.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Visual Argument Structure Tool (VAST) 1.0
Leising, D., Grenke, O. & Cramer, M., 16 Juli 2022, Technische Universität Dresden.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Manthey, N., Nyssen, R. P. & Rudolph, S., 2020, in: Künstliche Intelligenz : KI. 34, 3, S. 389-394 6 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Fuzzing and verifying RAT refutations with deletion information
Forkel, W., Rebola-Pardo, A., Werner, E. & Philipp, T., 2017, FLAIRS 2017 - Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference. AAAI Press, S. 190-193 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Efficient Axiom Pinpointing in EL using SAT Technology
Manthey, N., Peñaloza, R. & Rudolph, S., 2016, Proceedings of the 29th International Workshop on Description Logics (DL'16). Lenzerini, M. & Peñaloza, R. (Hrsg.). CEUR Workshop Proceedings, Band 1577.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Journal of symbolic computation : an international journal
ISSNs: 0747-7171
Weitere durchsuchbare ISSN (elektronisch): 1095-855X
Elsevier Science B.V., Großbritannien/Vereinigtes Königreich
Scopus-Bewertung (2023): CiteScore 2,1 SJR 0,522 SNIP 1,125
Fachzeitschrift: Zeitschrift
SAT COMPETITION
ISSNs: 1458-4786
University of Helsinki Department of Computer Science
Fachzeitschrift: Schriftenreihe
Künstliche Intelligenz : KI
ISSNs: 0933-1875, 0935-848X
Weitere durchsuchbare ISSN (elektronisch): 1610-1987
Springer, Berlin [u. a.], Deutschland
Scopus-Bewertung (2023): CiteScore 8,6 SJR 0,649 SNIP 1,477
Fachzeitschrift: Zeitschrift
Theory and Practice of Logic Programming
ISSNs: 1471-0684
Weitere durchsuchbare ISSN (elektronisch): 1475-3081
Cambridge University Press
Scopus-Bewertung (2023): CiteScore 4,5 SJR 0,95 SNIP 1,734
Fachzeitschrift: Zeitschrift
BMC Bioinformatics
ISSNs: 1471-2105
BioMed Central, London
Scopus-Bewertung (2022): CiteScore 6,2 SJR 1,1 SNIP 0,938
In DOAJ indiziert
Fachzeitschrift: Zeitschrift