argo-lib: A Generic Platform for Decision Procedures.

Filip Maric Predrag Janicic

Published in: IJCAR (2004)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
query containment
quantified boolean formulas
database
databases
machine learning
tight complexity bounds