Login / Signup

Model Comparison Games for Horn Description Logics.

Jean Christoph JungFabio PapacchiniFrank WolterMichael Zakharyaschev
Published in: LICS (2019)
Keyphrases
  • description logics
  • computational complexity
  • logic programs
  • conceptual model
  • reasoning mechanism