Dipartimento di Informatica e Automazione, Universita Roma Tre, via della Vasca Navale 79, 00146 Roma, Italia;
机译:lingraph:基于图形的自动规划器,用于基于线性逻辑的并发任务规划
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:FISPLAN的制定:用于状态感知控制的AUV的基于模糊逻辑的反应式计划程序
机译:完全基于线性时间逻辑的计划者
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:基于非线性制导逻辑的水文无人水面舰艇轨迹跟踪精度
机译:Lingraph:基于图形的自动规划器,用于基于线性逻辑的并发任务规划
机译:plan van aanpak voor de bouw van een基于知识的规划师(基于知识的规划师的发展行动计划)