机译:μ-satplan:将多主体计划视为可满足性
Department of Computer Science, University of Cyprus, Nicosia, Cyprus;
UP6, Pierre and Marie Curie University, Paris, France;
UPADE, Paris Descartes University, Paris, France;
multi-agent planning; planning as satisfiability; coordination; cooperation; multi-agent systems;
机译:信息和可靠性的表示,多代理逻辑的算法
机译:作为可满足性的计划:用于计划搜索的并行计划和算法
机译:利用宏观行动并在计划中预测计划的长度,以此来满足需求
机译:Satplan延伸,用于规划限制
机译:识别团队及其计划:多代理域中的总体计划识别
机译:独特地满足
机译:saTpLaN的扩展,用于规划约束