Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics

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

Beitragende

Details

OriginalspracheEnglisch
TitelProgress in Artificial Intelligence
Redakteure/-innenOliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten695-708
Seitenumfang14
PublikationsstatusVeröffentlicht - 1 Sept. 2017
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 10423
ISSN0302-9743

Externe IDs

Scopus 85028973780

Schlagworte

Bibliotheksschlagworte