Decision Procedures for Stratified Set-Theoretic Syllogistics.

Domenico Cantone Vincenzo Cutello

Published in: ISSAC (1993)

Keyphrases

decision procedures
set theoretic
image recovery
modal logic
theorem proving
automated reasoning
conjunctive queries
satisfiability problem
np complete
data analysis
data model
model checking
query answering
fixpoint