%0 Conference Paper %1 conf/cade/AlrabbaaBBDKM22 %A Alrabbaa, Christian %A Baader, Franz %A Borgwardt, Stefan %A Dachselt, Raimund %A Koopmann, Patrick %A Méndez, Julián %B IJCAR %D 2022 %E Blanchette, Jasmin %E Kovács, Laura %E Pattinson, Dirk %I Springer %K dblp %P 271-280 %T Evonne: Interactive Proof Visualization for Description Logics (System Description). %U http://dblp.uni-trier.de/db/conf/cade/ijcar2022.html#AlrabbaaBBDKM22 %V 13385 %@ 978-3-031-10769-6

@inproceedings{conf/cade/AlrabbaaBBDKM22, added-at = {2022-10-24T00:00:00.000+0200}, author = {Alrabbaa, Christian and Baader, Franz and Borgwardt, Stefan and Dachselt, Raimund and Koopmann, Patrick and Méndez, Julián}, biburl = {https://www.bibsonomy.org/bibtex/2673f127c5366e5a4a0a4b760a2a4948c/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2022}, editor = {Blanchette, Jasmin and Kovács, Laura and Pattinson, Dirk}, ee = {https://doi.org/10.1007/978-3-031-10769-6_16}, interhash = {02232c120dd1f1fe3e72892f425e2e91}, intrahash = {673f127c5366e5a4a0a4b760a2a4948c}, isbn = {978-3-031-10769-6}, keywords = {dblp}, pages = {271-280}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:15.000+0200}, title = {Evonne: Interactive Proof Visualization for Description Logics (System Description).}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2022.html#AlrabbaaBBDKM22}, volume = 13385, year = 2022 }