Theory; Languages; Agent programming languages with declarative goals; Rationality; Prioritized goals; Reasoning about goals and goal dynamics;
机译:具有故障处理,声明性目标和计划的BDI代理程序编程语言
机译:具有故障处理,声明性目标和计划的BDI代理程序编程语言
机译:证明面向代理的编程语言的BDI属性
机译:SR-APL:具有优先目标的Rational BDI代理程序语言的模型(扩展摘要)
机译:功能逻辑编程语言的抽象操作模型。
机译:糖尿病胰脏器官捐献者青少年糖尿病研究基金会网络(nPOD):目标操作模型和新发现
机译:具有优先目标的代理程序中的理性行为
机译:声明性编程语言的分类方案:语法,语义和操作模型