第2届国际逻辑化建模与可满足性研讨会在中山大学举行

摘要

2006年9月24—27日，由国家自然科学基金资助、中山大学逻辑与认知研究所与德国帕德博恩大学国际动态智能系统研究院及计算机科学系联合主办的第2届国际逻辑化建模与可满足性会议在广州举行．参加本次学术研讨会的有来自美国、德国、法国等8个国家的15位专家，以及中国科学院、香港科技大学、北京大学、南京大学、中山大学等国内高校或科研机构的20多名学者．会议内容涵盖了逻辑公式可满足性、非经典逻辑、模型检测、计算复杂性等多个主题，与会人员围绕逻辑化方法在计算机科学与人工智能中的应用进行了热烈的讨论．