logic and formal models of agency and multi-agent systems;
机译:实现代理交互的线性时态逻辑中的机会发现建模
机译:线性时序逻辑LTL_K由具有交互代理的Multi-Agent Logic K_n扩展
机译:引入线性时间逻辑的智能体之间的可访问性关系的智能体控制可变邻域模型
机译:时间线性逻辑作为灵活的业务代表交互的基础
机译:人与机器代理交互期间建议利用的神经基础。
机译:线性时序逻辑的后门
机译:时间线性逻辑作为灵活代理交互的基础