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:
28 Nov 2023 10:39