Extending Decision Procedures with Induction Schemes.

Deepak Kapur Mahadevan Subramaniam

Published in: CADE (2000)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
oblique decision trees
machine learning
satisfiability problem
data mining
artificial intelligence
inference rules
data analysis
lower bound
search space
presburger arithmetic