机译:无限均衡逻辑和强等价逻辑程序
University of Texas, Austin, TX, USA;
University of Texas, Austin, TX, USA;
Universidad Politecnica de Madrid, Madrid, Spain;
University of Malaga, Malaga, Spain;
Answer set programming; Strong equivalence; Logic of here-and-there;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:中间逻辑中高度等效的逻辑程序的表征
机译:表征平衡逻辑和嵌套逻辑程序:简化和简化
机译:将线性时间时间逻辑嵌入无限逻辑:用于切割消除的多毒者无限性认罪线性时间呈现时间逻辑
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:残疾当量:用于比较其他健康计划的逻辑系统。
机译:中级强等效逻辑程序的刻画 逻辑
机译:走向域的永恒逻辑:过渡系统的abramsky逻辑.211软件工程