Consistency Checking of RM-ODP Specifications.

Kenneth Baclawski Mieczyslaw M. Kokar Jeffrey E. Smith Jerzy Letkowski

Published in: WOODPECKER (2001)

Keyphrases

consistency checking
query answering
stochastic search
temporal constraints
formal specification
path consistency
high level
temporal reasoning
data sets
data mining
decision making
relational databases
search space
mobile robot
worst case
user profiles