ASU Tempe AZ USA;
natural languages; service robots; temporal logic; action execution; dynamic logic representation; formal logical goal description; goal management; integrated robotic architecture; office environment; service robot; spoken natural language instruction; temporal logic representation;
机译:关于动作的时间逻辑到单调二阶逻辑的转换
机译:通过翻译证明了在自然的点指数逻辑的定理
机译:将自然语言指令接地为抽象和泛化的语义目标表示
机译:该怎么做以及如何做到:将自然语言指令转化为目标管理和行动执行的时间和动态逻辑表示
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:语言理解的时间动态中的语法概念和逻辑:来自事件相关潜力的证据
机译:自然语言系统规范自动转换为时态逻辑
机译:命令式规划语言:从时间表征到实时执行