Proof Systems for Planning Under Cautious Semantics.

Yuping Shen Xishun Zhao

Published in: Minds Mach. (2013)

Keyphrases

databases
data sets
management system
computer systems
intelligent systems
complex systems
data model
description logics
distributed systems
knowledge based systems
semantic information
ai planning
proof theory
technical systems
rewrite systems