欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
基于逻辑程序的协商推理的序贯模型
所属机构名称:西南大学
会议名称:the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR2013)
时间:2013.9.9
成果类型:会议
相关项目:基于回答集程序的有限理性协商机制研究
作者:
Wu Chen(陈武)|Dongmo zhang(张东摩)|Maonian Wu(吴茂念)|
同会议论文项目
基于回答集程序的有限理性协商机制研究
期刊论文 5
会议论文 4
同项目会议论文
Priority and relevance in belief revision
Language Splitting and Relevance-Based Belief Change in Horn Logic
Some model theoretical results over horn formula