SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies

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

Details

OriginalspracheEnglisch
TitelAutomated Reasoning
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten30-44
Seitenumfang15
ISBN (Print)978-3-642-31364-6
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 7364
ISSN0302-9743

Externe IDs

Scopus 84863614540
ORCID /0000-0002-4049-221X/work/142247854

Schlagworte

Bibliotheksschlagworte