Login / Signup

A Tableau for Until and Since over Linear Time.

Mark Reynolds
Published in: TIME (2011)
Keyphrases
  • description logics
  • worst case
  • automated theorem proving
  • simple polygon
  • artificial intelligence
  • three dimensional
  • high level
  • hidden markov models