UEL: Unification Solver for the Description Logic EL - System Description

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

Beitragende

Details

OriginalspracheEnglisch
TitelAutomated Reasoning - 6th International Joint Conference, IJCAR 2012
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten45-51
Seitenumfang7
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 7364
ISSN0302-9743

Konferenz

Titel6th International Joint Conference on Automated Reasoning
KurztitelIJCAR 2012
Veranstaltungsnummer6
Dauer26 - 29 Juni 2012
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtUniversity of Manchester
StadtManchester
LandGroßbritannien/Vereinigtes Königreich

Externe IDs

Scopus 84863621053
ORCID /0000-0002-4049-221X/work/142247914

Schlagworte

Schlagwörter

  • Unification, Description Logics

Bibliotheksschlagworte