A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

Նմանատիպ նյութեր

• A Resolution-Based Decision Procedure for SHOIQ.
  ‌: Kazakov, Y, և այլն
  Հրապարակվել է: (2008)
• A Resolution−Based Decision Procedure for SHOIQ
  ‌: Kazakov, Y, և այլն
  Հրապարակվել է: (2008)
• A Resolution−Based Decision Procedure for SHOIQ.
  ‌: Kazakov, Y, և այլն
  Հրապարակվել է: (2006)
• A resolution-based decision procedure for SHOIQ
  ‌: Kazakov, Y, և այլն
  Հրապարակվել է: (2008)
• RIQ and SROIQ are Harder than SHOIQ
  ‌: Kazakov, Y
  Հրապարակվել է: (2008)