Research into Analytic Tableaux.

Graham Wrightson

Published in: TABLEAUX (1992)

Keyphrases

modal logic
functional dependencies
sufficient conditions
automated reasoning
machine learning
artificial intelligence
evolutionary algorithm