Model Comparison Games for Horn Description Logics: A Summary

Jung, Jean Christoph and Papacchini, Fabio and Wolter, Frank and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics: A Summary. In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. CEUR Workshop Proceedings, 2373 . UNSPECIFIED.

Full text not available from this repository.
Item Type:
Contribution in Book/Report/Proceedings
ID Code:
168492
Deposited By:
Deposited On:
28 Oct 2022 14:50
Refereed?:
Yes
Published?:
Published
Last Modified:
21 Nov 2022 17:43