• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Implementing Tableau Calculi Using BDDs: BDDTab System Description.

Rajeev GoréKerry OlesenJimmy Thomson
Published in: IJCAR (2014)
Keyphrases
  • heuristic search
  • description logics
  • high level
  • dynamic programming
  • real time
  • information retrieval
  • sequent calculi