Research output per year
Research output per year
Description
experiment-RuleML+RR-2023.zip contains the materials used in the experiment described in the paper, and a README file with instructions on how to rerun the experiment.
| Date made available | 2 Aug 2023 |
|---|---|
| Publisher | Zenodo |
-
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)
Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 7 Aug 2023.Research output: Working paper / Preprint › Preprint › Academic
Open Access -
Combining Proofs for Description Logic and Concrete Domain Reasoning
Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2023, Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings. Fensel, A., Ozaki, A., Roman, D. & Soylu, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 54-69 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14244 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile103 Downloads (Pure)
Cite this
- DataSetCite