In the Eye of the Beholder: Which Proofs are Best? (Extended Abstract)
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020) |
Publication status | Published - 2020 |
Peer-reviewed | Yes |
External IDs
ORCID | /0000-0001-9936-0943/work/142238123 |
---|