Hyper Tableaux with Equality.

Peter Baumgartner Ulrich Furbach Björn Pelzer

Published in: CADE (2007)

Keyphrases

modal logic
functional dependencies
decision procedures
neural network
databases
database query languages
learning algorithm
sequent calculi