Dipaxtimento di Informatica, Universita di Pisa, Via Buonarroti, 2 - 56127 Pisa, Italy;
机译:归纳逻辑编程中的可验证代理交互:SCIFF框架
机译:信仰修订框架中的归纳逻辑
机译:用于计算知识库更新的归纳框架
机译:使用绑架推理的代理交互规范和验证(教程纸)
机译:基于主体的人类行为建模:一种基于知识工程的系统方法,用于集成社会科学框架,以对具有认知,个性和文化的主体进行建模。
机译:使用多主体社会学习框架动态分析生物环境中的细胞相互作用
机译:通过诱使者之间的互动进行知识修正的新框架
机译:小屋:一个知识获取和迭代修订的框架,用于进度改进和反应修复