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.

Efficient Model Construction for Horn Logic with VLog: Extended Abstract

Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral. Efficient Model Construction for Horn Logic with VLog: Extended Abstract. In Magdalena Ortiz, Thomas Schneider 0002, editors, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Authors

Jacopo Urbani

This author has not been identified. Look up 'Jacopo Urbani' in Google

Markus Krötzsch

This author has not been identified. Look up 'Markus Krötzsch' in Google

Ceriel J. H. Jacobs

This author has not been identified. Look up 'Ceriel J. H. Jacobs' in Google

Irina Dragoste

This author has not been identified. Look up 'Irina Dragoste' in Google

David Carral

This author has not been identified. Look up 'David Carral' in Google
runs on