机译:Tyrexpo Asia提供了在困难时期获得新业务的机会:替换市场领域在新加坡展览会上表现强劲
机译:一系列用于表示和推理动作的动态描述逻辑
机译:在RDF和OWL中表示和查询有效时间:一种基于逻辑的方法
机译:这次机器人落稳了成本:具有部分满意度的时间逻辑计划的定量方法
机译:完成研究生学位课程的意图:通过计划行为理论的应用,节省时间,金钱和满意度
机译:常规IMRT计划与新型实时自适应计划策略在前列腺癌低分割区系中的比较:概念验证计划研究
机译:在逻辑程序和默认理论中表示动作,采用情境演算方法
机译:类似于自然语言的方式,用于在对象,计划和操作的场景中表示操作