Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata (Abstract)

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 31st International Workshop on Description Logics (DL'18)
Herausgeber (Verlag)CEUR-WS.org
PublikationsstatusVeröffentlicht - 2018
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band2211
ISSN1613-0073

Workshop

TitelInternational Workshop on Description Logics 2018
KurztitelDL 2018
Veranstaltungsnummer31
Dauer27 - 29 Oktober 2018
BekanntheitsgradInternationale Veranstaltung
OrtArizona State University
StadtTempe
LandUSA/Vereinigte Staaten

Externe IDs

ORCID /0000-0002-4049-221X/work/142247946

Schlagworte