External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

In the Eye of the Beholder: Which Proofs are Best?

Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr. In the Eye of the Beholder: Which Proofs are Best?. In Stefan Borgwardt, Thomas Meyer 0002, editors, Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. Volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]

Authors

Stefan Borgwardt

This author has not been identified. Look up 'Stefan Borgwardt' in Google

Anke Hirsch

This author has not been identified. Look up 'Anke Hirsch' in Google

Alisa Kovtunova

This author has not been identified. Look up 'Alisa Kovtunova' in Google

Frederik Wiehr

This author has not been identified. Look up 'Frederik Wiehr' in Google
runs on