A Tableau for RoBCTL*.

John Christopher McCabe-Dansted

Published in: JELIA (2008)

Keyphrases

description logics
automated theorem proving
search algorithm
database
lower bound
active learning
information extraction