Emergency Response; GIS; Prolog; Situation Calculus;
机译:基于描述逻辑的情境演算
机译:开发流程和基础结构以扩展到利益相关方,以捕获紧急情况下的医疗保健系统压力
机译:在面对紧急情况时检验基于听众响应系统的学习优势
机译:基于逻辑的应急响应系统的形式化与开发利用情况微积分
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:开发流程和基础结构以扩展到利益相关方以捕获紧急情况下的医疗保健系统压力
机译:论基于情境演算的机会主义形式化
机译:为轨道交通系统开发基于图形的自动应急响应系统(aERs)