Revisiting MITL to Fix Decision Procedures.

Nima Roohi Mahesh Viswanathan

Published in: CoRR (2019)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
knowledge representation
graphical models
query containment
quantified boolean formulas