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 languageEnglish
Title of host publicationInformatl Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR’21)
Number of pages11
Publication statusPublished - 2021
Peer-reviewedYes

Keywords