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.

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata

Franz Baader, Oliver Fernandez Gil, Maximilian Pensel. Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. 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

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Oliver Fernandez Gil

This author has not been identified. Look up 'Oliver Fernandez Gil' in Google

Maximilian Pensel

This author has not been identified. Look up 'Maximilian Pensel' in Google
runs on