Revisiting MITL to Fix Decision Procedures.

Nima Roohi Mahesh Viswanathan

Published in: VMCAI (2018)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
quantified boolean formulas
data sets
databases
machine learning
objective function
integrity constraints
containment of conjunctive queries
tight complexity bounds