Login / Signup

and Its Tableau System.

Yuri OzakiDaisuke Bekki
Published in: LACL (2011)
Keyphrases
  • description logics
  • automated theorem proving
  • object oriented
  • database
  • image segmentation
  • relational databases
  • cost function
  • first order logic