Horn theory; entailment; satisfiability; enumeration problems; modal logics;
机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:命题,动作和伴随模态逻辑的代数,证明理论及其应用
机译:涉及相对最大增生模型的广义松弛近点算法及其在Banach空间中的应用
机译:一种枚举喇叭理论的最大模型与模态逻辑的算法
机译:使用遗传算法的混合PTL /静态逻辑综合:理论和应用。
机译:最大指数模型对二元理论的应用
机译:一种应用于模态逻辑的枚举Horn理论最大模型的算法⋆
机译:从理论到空军实践:概率模型构建遗传算法的应用和非二元扩展