Login / Signup

A Seligman-Style Tableau System.

Patrick BlackburnThomas BolanderTorben BraünerKlaus Frovin Jørgensen
Published in: LPAR (2013)
Keyphrases
  • description logics
  • databases
  • artificial intelligence
  • face recognition
  • search algorithm
  • automated theorem proving