Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
收藏数据链接：
官方服务：
资源简介：
- <strong>evonne-experiments-ijcar22.zip</strong>: contains data and scripts used in the experiments. - <strong>evonne-tool-ijcar22.zip: </strong>contains the version of Evonne described in the paper. For more about Evonne (latest version, publications), visit https://imld.de/evonne
提供机构：
Zenodo创建时间：
2022-05-18
