The Complexity of Subtype Entailment for Simple Types.

Fritz Henglein Jakob Rehof

Published in: LICS (1997)

Keyphrases

worst case
computational complexity
logic programming
polynomial hierarchy
real time
artificial intelligence
knowledge base
bayesian networks
description logics
decision problems