Decision Procedures over Sophisticated Fractional Permissions.

Xuan Bach Le Cristian Gherghina Aquinas Hobor

Published in: APLAS (2012)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
access control
reasoning problems
conjunctive queries
quantified boolean formulas
data sets
satisfiability problem
databases
data analysis
temporal logic
fixpoint