hybrid logics; plausibility; multi-agent's reasoning; linear temporal logic; decision algorithms; kripke/hintikka models;
机译:在多主体环境中进行发现的合理性逻辑。决策算法
机译:非致突变时间多算逻辑,信息和知识,决定算法
机译:PLQP&Company:量子算法的可决定逻辑
机译:多主体环境中确定算法的发现逻辑逻辑决定算法
机译:运动显着性和跟踪的生物合理算法
机译:基于人工免疫系统改性算法预测药物特性的多剂智能系统的本体论模型
机译:通过分解对可解解逻辑的阈值的分布式算法验证