Combining decision procedures for the reals.

Jeremy Avigad Harvey Friedman

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

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
satisfiability problem
constraint databases
conjunctive queries
database
machine learning
probabilistic model
knowledge representation
temporal logic
probabilistic inference
query containment
tight complexity bounds