Automata-Based Axiom Pinpointing

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)91-129
Seitenumfang39
FachzeitschriftJournal of Automated Reasoning
Jahrgang45
Ausgabenummer2
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusJa

Externe IDs

Scopus 77955713705
ORCID /0000-0002-4049-221X/work/142247821

Schlagworte

DFG-Fachsystematik nach Fachkollegium

Schlagwörter

  • Axiom-pinpointing, Automated reasoning, Weighted automata, Explanation, Description logics