Analytic Tableaux for Simple Type Theory and its First-Order Fragment

Chad E. Brown Gert Smolka

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

real time
machine learning
functional dependencies
case study
theoretical framework
first order logic
modal logic
theoretical basis
formal theory
horn theories