School of Computer Science University of Nottingham Nottingham NG8 1BB, UK;
Deparment of Information and Computing Sciences Universiteit Utrecht 3584CH Utrecht, The Netherlands;
机译:常规BDI代理基于代理程序双仿真的意图和行动逻辑
机译:常规BDI代理基于代理程序双仿真的意图和行动逻辑
机译:面向代理商决策系统的三值泛函逻辑编程的实现
机译:将逻辑编程和生产系统集成到归纳逻辑编程代理中
机译:使用逻辑编程对分布式自治代理进行模型检查。
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:在归纳逻辑编程代理中将逻辑编程和生产系统集成