...
机译:在多主体系统中推理机会倾向的正式框架
Delft Univ Technol, Delft, Netherlands;
Univ Utrecht, Utrecht, Netherlands;
Triple, Alkmaar, Netherlands;
Opportunism; Propensity; Logic; Reasoning; Decision theory;
机译:一种正式的框架,用于推理多助理系统的机会主义倾向
机译:使用剧院的多智能体系统中知识和承诺的形式推理
机译:关于弹性的面向目标的多主体系统的形式化推理
机译:多主体系统中机会倾向的推理
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:使用定理证明关于系统生物学的形式推理
机译:一种正式的框架,用于推理多助理系统的机会主义倾向
机译:多agent系统形式化分析框架