Completeness Guarantees for Incomplete Reasoners

Bibliographic Details
Main Authors: Stoilos, G, Grau, B, Horrocks, I
Format: Conference item
Published: Springer 2010