Generalized Modal Satisfiability

Edith Hemaspaandra Henning Schnoor Ilka Schnoor

Published in: CoRR (2008)

Keyphrases

satisfiability problem
modal logic
computational complexity
np complete
propositional logic
database
machine learning
genetic algorithm
artificial intelligence
expert systems
special case
query language
rough sets
sat problem
description logic alc