Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.

Published in: TABLEAUX (2002)

Keyphrases

np hard
learning algorithm
computational complexity
objective function
hardware implementation
database
video sequences
data streams
np complete
query answering