An Effective Axiomatization for Real Time ACP.

Wan J. Fokkink Steven Klusener

Published in: Inf. Comput. (1995)

Keyphrases

real time
low cost
wide range
database systems
mobile robot
data sets
decision making
knowledge base
computational complexity
digital libraries
high resolution
cost effective
highly efficient