Standard
Harvard
Jung, JC
, Papacchini, F, Wolter, F & Zakharyaschev, M 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. vol. 2373, CEUR Workshop Proceedings.
APA
Jung, J. C.
, Papacchini, F., Wolter, F., & Zakharyaschev, M. (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 (Vol. 2373). (CEUR Workshop Proceedings).
Vancouver
Author
Bibtex
@inproceedings{9a6e2f4658984498a3f8f178f65d532f,
title = "Model Comparison Games for Horn Description Logics: A Summary",
author = "Jung, {Jean Christoph} and Fabio Papacchini and Frank Wolter and Michael Zakharyaschev",
year = "2019",
language = "English",
volume = "2373",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",
booktitle = "Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019",
}
RIS
TY - GEN
T1 - Model Comparison Games for Horn Description Logics: A Summary
AU - Jung, Jean Christoph
AU - Papacchini, Fabio
AU - Wolter, Frank
AU - Zakharyaschev, Michael
PY - 2019
Y1 - 2019
UR - http://ceur-ws.org/Vol-2373/paper-49.pdf
M3 - Conference contribution/Paper
VL - 2373
T3 - CEUR Workshop Proceedings
BT - Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019
ER -
