A Framework for Cooperating Decision Procedures.

Clark W. Barrett David L. Dill Aaron Stump

Published in: CADE (2000)

Keyphrases

decision procedures
theorem proving
automated reasoning
artificial intelligence
probabilistic model
modal logic
knowledge base
database systems
data integration