Answer Set Programming; Conditional Constraint Satisfaction; Formal Methods; Product Configuration;
机译:关于条件约束规范问题和特征模型的推理
机译:因果条件推理的双重过程规范
机译:具有Prolog和约束处理规则的基于假设的推理的可执行规范
机译:关于条件约束规范的推理
机译:探索海洋Annelid Capitella Teleta的自主和有条件神经规格
机译:基本条件推理:儿童如何模仿反事实推理
机译:基于案例的推理和基于约束的钻井参数控制系统的规范