SGGS Decision Procedures.

Maria Paola Bonacina Sarah Winkler

Published in: IJCAR (1) (2020)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
satisfiability problem
tight complexity bounds
database
quantified boolean formulas
theorem prover
inference rules
temporal logic
knowledge representation
expert systems
bayesian networks
databases