位置：成果数据库 > 会议 > 会议详情页
Some model theoretical results over horn formula
  • 所属机构名称：西南大学
  • 会议名称：2011 International Conference on Artificial Intelligence, ICAI 2011
  • 时间：2011.7.7
  • 成果类型：会议
  • 相关项目：基于回答集程序的有限理性协商机制研究
作者： 吴茂念|张明义|张颖|
同会议论文项目
基于回答集程序的有限理性协商机制研究
期刊论文 5 会议论文 4
同项目会议论文
基于逻辑程序的协商推理的序贯模型
Priority and relevance in belief revision
Language Splitting and Relevance-Based Belief Change in Horn Logic