机译:时间均衡逻辑:调查
Department of Computer Science, University of Corunna, Spain;
Department of Computer Science, University of Corunna, Spain;
Department of Computer Science, University of Corunna, Spain;
Department of Computer Science, University of Corunna, Spain;
Department of Computer Science, University of Corunna, Spain;
answer set programming; linear temporal logic; equilibrium logic; nonmonotonic reasoning; knowledge representation;
机译:过去算子的时间平衡逻辑
机译:用描述逻辑表示和推理模糊时空知识:一项调查
机译:用描述逻辑代表和推理模糊时空知识:调查
机译:时间均衡逻辑的表现力
机译:在动态认知逻辑中添加时间逻辑。
机译:Covid-19流行病的控制策略抗疫苗盾牌免疫检疫:公制时间逻辑方法
机译:论时态均衡逻辑的复杂性
机译:一阶谓词逻辑模型理论及相关时态逻辑