On Confluent Semi-commutations: Decidability and Complexity Results

Volker Diekert Edward Ochmanski Klaus Reinhardt

Published in: Inf. Comput. (1994)

Keyphrases

computational complexity
worst case
description logics
data structure
data sets
decision problems
artificial intelligence
knowledge base
image segmentation
database systems
multi agent
mobile robot
query answering
complexity analysis