SAT Encoding of Unification in EL

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

Beitragende

Details

OriginalspracheEnglisch
TitelLogic for Programming, Artificial Intelligence, and Reasoning
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten97-111
Seitenumfang15
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 6397
ISSN0302-9743

Externe IDs

Scopus 85037536287
ORCID /0000-0002-4049-221X/work/142247913

Schlagworte

Schlagwörter

  • Unification, SAT Encoding

Bibliotheksschlagworte