A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012)
Seiten9-24
Seitenumfang16
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa

Externe IDs

Scopus 85006867316

Schlagworte

Schlagwörter

  • Fuzzy Logic, Description Logic