A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains


Seylan I., ERDUR R. C.

Electronic Notes in Theoretical Computer Science, cilt.231, ss.113-130, 2009 (Diğer Kurumların Hakemli Dergileri) identifier

  • Cilt numarası: 231
  • Basım Tarihi: 2009
  • Doi Numarası: 10.1016/j.entcs.2009.02.032
  • Dergi Adı: Electronic Notes in Theoretical Computer Science
  • Sayfa Sayıları: ss.113-130