Proof systems for planning under 0-approximation semantics.

Yuping Shen Xishun Zhao

Published in: Sci. China Inf. Sci. (2014)

Keyphrases

building blocks
database
complex systems
neural network
metadata
lower bound
expert systems
special case
mobile robot
distributed systems
planning problems
approximation algorithms
inference rules
technical systems