A Tableau Algorithm for the Clique Guarded Fragment.

Colin Hirsch Stephan Tobies

Published in: Advances in Modal Logic (2000)

Keyphrases

optimal solution
computational complexity
learning algorithm
artificial intelligence
probabilistic model
expressive power
databases
objective function
search space