Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources
From MaRDI portal
Dataset:6700527
DOI10.5281/zenodo.8070710Zenodo8070710MaRDI QIDQ6700527FDOQ6700527
Dataset published at Zenodo repository.
Franz Baader, Patrick Koopmann, Christian Alrabbaa, Alisa Kovtunova, Stefan Borgwardt
Publication date: 27 May 2020
Copyright license: Creative Commons Attribution 4.0 International
experiments-LPAR-2020 contains all datasets and scripts used in the experiments described in the paper, and a README file with instructions on how to rerun the experiments.
This page was built for dataset: Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources
