Decision Procedures for Region Logic.

Stan Rosenberg Anindya Banerjee David A. Naumann

Published in: VMCAI (2012)

Keyphrases

decision procedures
modal logic
automated reasoning
temporal logic
model theoretic
theorem proving
inference rules
reasoning problems
theorem prover
logic programs
quantified boolean formulas
default logic
databases
horn clauses
sequent calculi
model checking
logic programming
machine learning