Algebraic Decision Procedures for Local Testability.

Robert McNaughton

Published in: Math. Syst. Theory (1974)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
knowledge representation
data sets
machine learning
first order logic
satisfiability problem
inference rules
quantified boolean formulas
objective function
query containment
tight complexity bounds