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.

Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract)

Marie Fortin, Boris Konev, Frank Wolter. Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. Volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Authors

Marie Fortin

This author has not been identified. Look up 'Marie Fortin' in Google

Boris Konev

This author has not been identified. Look up 'Boris Konev' in Google

Frank Wolter

This author has not been identified. Look up 'Frank Wolter' in Google
runs on