Some Decision Procedures Based on Scaled Bregman Distance Surfaces.

Anna-Lena Kißlinger Wolfgang Stummer

Published in: GSI (2013)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
satisfiability problem
quantified boolean formulas
query evaluation
database
database systems
knowledge representation
logic programming
containment of conjunctive queries
presburger arithmetic