Evonne_Based_IJCAR22交互式证明可视化系统资源数据

Name: Evonne_Based_IJCAR22交互式证明可视化系统资源数据
Creator: 公开数据
Published: 2026-01-25T00:00:00+08:00

海数据2026-06-25 收录

描述逻辑

交互式数据可视化

数据链接：

https://haidatas.com/dataset/evonne_based_ijcar22jiaohushizhengmingkesh_9d340d68 数据链接链接失效反馈

官方服务：

资源简介：

本数据集包含与论文《Evonne: Interactive Proof Visualization for Description Logics (System Description)》相关的资源，涉及Evonne工具的版本文件及实验所用数据与脚本，支持对描述逻辑交互式证明可视化工具的研究与应用。论文《Evonne: Interactive Proof Visualization for Description Logics (System Description)》及https://imld.de/evonne

提供机构：

公开数据

创建时间：

2026-01-25

Evonne_Based_IJCAR22交互式证明可视化系统资源数据

资源简介：

相关数据集