机译:彩票语义学:信息不完全的概率一阶逻辑的组合语义学
FNWI ILLC Universiteit van Amsterdam">(1);
Department of Mathematics Colgate University">(2);
Logic with imperfect information; Independence-friendly logic; Dependence-friendly logic; Dependence logic; Equilibrium semantics; Compositional semantics;
机译:彩票语义学:信息不完全的概率一阶逻辑的组合语义学
机译:概率信念逻辑及其概率Aumann语义
机译:概率信念逻辑及其概率Aumann语义
机译:稳定模型语义下基于逻辑编程和一阶理论的概率推理工具
机译:模态逻辑的概率语义
机译:左颞叶的解开语义组成和语义关联
机译:具有概率语义的多值一阶逻辑
机译:使用概率逻辑的自然语言语义。