A Rooted Tableau for BCTL*.

John Christopher McCabe-Dansted

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

description logics
automated theorem proving
neural network
search space
genetic algorithm
cost function
general purpose
information retrieval systems