Implementing Tableau Calculi Using BDDs: BDDTab System Description.

Rajeev Goré Kerry Olesen Jimmy Thomson

Published in: IJCAR (2014)

Keyphrases

heuristic search
description logics
high level
dynamic programming
real time
information retrieval
sequent calculi