A General Setting for Flexibly Combining and Augmenting Decision Procedures.

Predrag Janicic Alan Bundy

Published in: J. Autom. Reason. (2002)

Keyphrases

decision procedures
special case
automated reasoning
modal logic
theorem proving
artificial intelligence
conjunctive queries
tight complexity bounds
satisfiability problem
graphical models
query answering
reasoning problems