赵希顺的作品

赵希顺，教育部重点研究基地中山大学逻辑与认知研究所教授、博士生导师，《逻辑学研究》副主编，国际杂志Journal on Satisfiability, Boolean Modeling and Computation编委，国际SAT协会 (SAT Association) 指导委员会 (steering committee) 成员 (2008-2012)，国际学术年会SAT2008大会主席；2005年入选教育部“新世纪优秀人才”支持计划，2006年获中山大学文科优秀学者桐山奖；研究方向是数理逻辑及其在计算机科学和人工智能的应用，近年来主要关注逻辑系统的表达能力与计算复杂性研究；曾参与翻译《数学百科全书》，出版著作《选择公理》，主编会议论文集Lecture Notes in Computer Science 第4996卷 (Springer)，The proceedings of the 13th Asian Logic Conference (World Scientific)，主编“社会博弈逻辑”丛书。国家社会科学基金重大项目“社会博弈的逻辑与计算模拟研究”首席专家。