Concise justifications versus detailed proofs for description logic entailments

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageGerman
Title of host publicationInformatl Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’21)
Publication statusPublished - 2021
Peer-reviewedYes

Keywords