Professur für Wissensverarbeitung
Organisation: Professur
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Auszeichnungen
Visual Argument Structure Tool (VAST) 1.0
Leising, D., Grenke, O. & Cramer, M., 16 Juli 2022, in: PsyArXiV Preprints.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Smoke Test Planning using Answer Set Programming
Philipp, T., Roland, V. & Schweizer, L., 1 Feb. 2021, in: International journal of interactive multimedia and artificial intelligence : IJIMAI. 6, 5, S. 57-65 9 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
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.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, Großbritannien/Vereinigtes Königreich
Scopus-Bewertung (2021): CiteScore 2 SJR 0,525 SNIP 1,57
Fachzeitschrift: Zeitschrift
SAT COMPETITION - Solver and Benchmark Descriptions
ISSNs: 1458-4786
University of Helsinki Department of Computer Science
Fachzeitschrift: Schriftenreihe
International journal of interactive multimedia and artificial intelligence : IJIMAI
ISSNs: 1989-1660
OpenLab, Oviedo
In DOAJ indiziert
Fachzeitschrift: Zeitschrift
Künstliche Intelligenz : KI
ISSNs: 0933-1875, 0935-848X
Weitere durchsuchbare ISSN (elektronisch): 1610-1987
Springer, Berlin [u. a.], Deutschland
Scopus-Bewertung (2021): CiteScore 3,9 SJR 0,745 SNIP 1,128
Fachzeitschrift: Zeitschrift
Amazon-Preis 2019
Kahlert, Lucas (Empfänger:in), 21 Juni 2019
Auszeichnung: Preis › Studentischer Preis