Knowledge representation and reasoning; Answer Set Programming; DLV; Artificial Intelligence; Deductive database systems; Grounding; Instantiation;
机译:技术说明用ASP求解器有效地耦合I-DLV收割机
机译:使用计算流体动力学(CFD)地面效果(WIG)海洋车辆的外部空气动力学研究
机译:计算基础认知:基础认知与计算模型之间的新联盟
机译:新DLV收集机中的外部计算和互操作性
机译:内部和外部冷凝流的计算研究以及实验合成,以研究其在地基和空基环境中的可及性和稳定性。
机译:计算基础认知:基础认知与计算模型之间的新联盟
机译:DLV系统的参数外部谓词