...
机译:基于增量答案集编程的有限模型计算系统
Universitaet Potsdam, Potsdam, Germany;
Universitaet Potsdam, Potsdam, Germany;
incremental answer set programming; finite model computation;
机译:Go程序中基于形式模型的静态分析和增量计算
机译:基于时滞补偿的有限控制集的模型预测电压控制
机译:带地面的增量答案集编程
机译:基于增量答案集编程的有限模型计算系统
机译:基于答案集编程的表示和查询文本知识的方法
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:1基于增量答案集编程的有限模型计算系统
机译:计算几何,有限元和多体系统算法的集成,为高保真车辆系统建模和仿真开发新的计算方法。附录。