Items where Author is "Zakharyaschev, Michael"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 2.
Contribution in Book/Report/Proceedings
Jung, Jean Christoph and Papacchini, Fabio and Wolter, Frank and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics. In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) :. IEEE. ISBN 9781728136097
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.