SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)389-394
Seitenumfang6
FachzeitschriftKünstliche Intelligenz : KI
Jahrgang34
Ausgabenummer3
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusJa

Externe IDs

Scopus 85091142051