Login / Signup

A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.

Renate A. SchmidtDmitry Tishkovsky
Published in: IJCAR (2008)
Keyphrases
  • description logics
  • modal logic
  • reasoning tasks
  • special case
  • computational complexity
  • inference rules
  • model theoretic