Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Alrabbaa2022-E1
%A Alrabbaa, Christian
%A Baader, Franz
%A Borgwardt, Stefan
%A Dachselt, Raimund
%A Koopmann, Patrick
%A Méndez, Julián
%B Automated Reasoning
%C Cham
%D 2022
%E Blanchette, Jasmin
%E Kovács, Laura
%E Pattinson, Dirk
%I Springer International Publishing
%K
%P 271--280
%T Evonne: Interactive Proof Visualization for Description Logics (System Description)
%@ 978-3-031-10769-6
@inproceedings{Alrabbaa2022-E1,
added-at = {2024-09-10T11:56:37.000+0200},
address = {Cham},
author = {Alrabbaa, Christian and Baader, Franz and Borgwardt, Stefan and Dachselt, Raimund and Koopmann, Patrick and M{\'e}ndez, Juli{\'a}n},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2c1b97bda926131070f22e701073a6727/scadsfct},
booktitle = {Automated Reasoning},
editor = {Blanchette, Jasmin and Kov{\'a}cs, Laura and Pattinson, Dirk},
interhash = {b5ee7637a41478978e61c0e895f6531d},
intrahash = {c1b97bda926131070f22e701073a6727},
isbn = {978-3-031-10769-6},
keywords = {},
pages = {271--280},
publisher = {Springer International Publishing},
timestamp = {2024-09-10T15:15:57.000+0200},
title = {Evonne: Interactive Proof Visualization for Description Logics (System Description)},
year = 2022
}