Model Comparison Games for Horn Description Logics: A Summary - Research Portal | Lancaster University

Home > Research > Publications & Outputs > Model Comparison Games for Horn Description Log...

Associated organisational unit

Security Lancaster (Systems Security)

View graph of relations

Model Comparison Games for Horn Description Logics: A Summary

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Jean Christoph Jung
Fabio Papacchini
Frank Wolter
Michael Zakharyaschev

Publication date	2019
Host publication	Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019
Volume	2373
<mark>Original language</mark>	English

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS
ISSN (Print)	1613-0073