The Complexity of Satisfiability for Sub-Boolean Fragments of ALC

Arne Meier Thomas Schneider

Published in: CoRR (2010)

Keyphrases

computational complexity
np complete
boolean formula
computational cost
worst case
description logics
satisfiability problem
space complexity
real valued
boolean functions
propositional logic
decision procedures
neural network
expert systems
constraint satisfaction
boolean queries