Deciding the SHOQ(D)-Satisfiability with a Fully Tiered Clause Group.

Huamao Gu Jin-Qin Shi Xun Wang

Published in: J. Softw. (2012)

Keyphrases

satisfiability testing
satisfiability problem
description logics
machine learning
cnf formula
artificial intelligence
real time
genetic algorithm
case study
np complete
propositional logic
decision procedures