Axiom Pinpointing in General Tableaux

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)5-34
Seitenumfang30
FachzeitschriftJournal of Logic and Computation
Jahrgang20
Ausgabenummer1
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusJa

Externe IDs

Scopus 76649145102
ORCID /0000-0002-4049-221X/work/142247822

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • Axiom-pinpointing, Description Logic, Tableaux, tableaux