Empirical Study of Logic-Based Modules: Cheap Is Cheerful

Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Dmitry Tsarkov. Empirical Study of Logic-Based Modules: Cheap Is Cheerful. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 144-155, CEUR-WS.org, 2013. [doi]

Abstract

Abstract is missing.