个人主页

赵希顺简历

一、个人情况

出生年月：1964年10月，河南省封丘县人

专业特长：数理逻辑及其应用

工作单位：中山大学逻辑与认知研究所

职称：教授、博士生导师

电话：020-84114036，

传真：020-84110298

Email: hsszxs[at]mail.sysu.edu.cn

简历：

1981.9-1985.7, 河南师范大学数学系学习

1985.9-1988.6, 中国科学院软件研究所，攻读硕士学位

1988.6-2001.4, 河南师范大学数学系工作

1997.3-1999.12, 南京大学数学系，攻读博士学位

1999.1-1999.3, 德国Paderborn大学合作研究

2000.4-2001.3, 德国Paderborn大学工作

2001.5-- 中山大学逻辑与认知研究所

2002.9.1-9.31, 德国Paderborn大学客座教授

2003.9-2003.11, 香港科技大学计算机系合作研究

2004.7-2004.8, 德国Paderborn大学客座教授

2005.10-2005.11, 德国Paderborn大学客座教授

2005.12-2006.2, 德国Hagen大学理论计算机系合作研究

获奖：

2006，教育部第四届高校人文社科优秀成果二等奖

2006，中山大学优秀学者桐山奖

2005，入选教育部“新世纪优秀人才”支持计划

1994.8，获河南省第二届自然科学优秀学术论文二等奖。

1994.5，荣获河南省青年科技奖。

1992.1-1994.12，被评为河南省中青年骨干教师

兼职：

2006，组织第二届国际会议“Guangzhou Symposium on Satisfiability in Logic-Based Modeling”

2005，第9届亚洲逻辑会议(俄罗斯，新西伯利亚)特邀报告“Complexity of Minimal Unsatisfiability”

2004, 国际期刊Journal on Satisfiability, Boolean Modeling and Computation编委。

http://www.isa.ewi.tudelft.nl/Jsat/

2004, 国际期刊Information Technology Journal的编委。http://www.ansinet.org/c4p.php?j_id=itj

2004, 组织国际会议“Guangzhou Symposium on Satisfiability and its Applications”

2003, 被国际人工智能大会(IJCAI2003)聘为审稿人。

赵希顺近年来主要从事数理逻辑在计算机科学和人工智能领域中的应用。主要涉及：知识表示和推理，计算复杂性，非单调逻辑，可满足性问题，等等。最近和德国学者合作提出了量化布尔公式的模型理论，为进一步研究一些重要问题提供了新的途径。初步成果已经发表，正在继续深入研究。

二、近年来被收录和引用情况（见第五项）

1．共有25篇文章被《科学文献索引》SCI收录。

2．共有15篇论文被《工程索引》EI收录。

3．共有30篇论文被《数学评论》评论。

4．共有20篇论文被收入德国 DBLP Bibliograph Server。

据不完全统计，另有20多篇国外文献引用了赵希顺的成果。下面为重要的几篇：

1. R. Ben-Eliyahu-Zohary, Yet some more complexity results for default logic, Artificial Intelligence, 139 (2002), 1-20.

2. Renato Bruni, On exact selection of minimally unsatisfiable subformulae, Annals of Mathematics and Artificial Intelligence, 43 (2005), 35-50.

3. H. Fleischner, O. Kullmann, S.Szeider, Polynomial–time recognition of minimal unsatisfiable formulas with fixed clause-variable deficiency, Theoretical Computer Scicence, 289 (2002), 503-516.

4. S Hoory, S Szeider, Computing unsatisfiable k-SAT instances with few occurrences per variable, Theoretical Computer Science, 337 (2005), No 1-3, 347-359.

5. Donald Knuth, The Art of Computer Programming, Volume 4, Addison-Wesely, 2006.

6. Kullmann, The combinatorics of clause-sets, In: Proceedings of SAT03, Italy. Lecture Notes in Computer Science 2919, 426-440, Springer-Verlag, 2004.

7. Kullmann, Lean-sets: Generalizations of minimal unsatisfiable clause-sets, Discrete Applied Mathematics, 130 (2003), 209-249

8. S. Szeider, Homomorphisms of conjunctive normal formulas, Discrete Applied Mathematics, 130 (2003), 351-365.

9. Szeider, Generalizations of Matched CNF Formulas, Annals of Mathematics and Artificial Intelligence, 43 (2005), 223-238.

10. S. Szeider, Minimal Unsatisfiable Formulas with Bounded Clause-Variable Difference are Fixed-Parameter Tractable, The Journal of Computer and System Science, 69 (2004), No.4, 656-674, 2004.

11. Hubie Chen, Victor, Dalmau, Looking Algebraically at Tractable Quantified Boolean Formulas, Proceedings of SAT2004. Lecture Notes in Computer Science, 3075, Springer 2004.

12. Nicola, Galesi, O. Kullmann, Polynomial Time SAT Decision, Hypergraph, Traversals, and the Hermitanian Rank, Proceedings of SAT2004, Lecture Notes in Computer Science 3075

13. Sudeshna Dasgupta and Vijay Chandru, Minimal Unsatisfiable Formulas: Classification and Bounds, Lecture Notes in Computer Science 3321, 330-342, Springer-Verlag, 2004.

14. P. Liberatore, Controversial Default Logic, Journal of Logic and Computation, 14(2004) No. 5, 747-765

15. S. Coste-Marquis, D. Le Berre, et al, Complexity for QBF Based on Complete Propositional Languages, Journal on Satisfiability, Boolean Modeling and Computation, 1 (2006), 61-88.

16. Carsten Sinz, Andreas Kaiser and Wolfgang Kuchlin, Formal Methods for the Validation of Automotive Product Configuration Data, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 17 (2003), 75–97.

17. K. Subramani, On deciding the non-emptiness of 2SAT Polytopes with respect to First Order Queries, Mathematical Logic Quarterly, 281-292.

18. Yin Chen, Fangzhen Lin, SELP: A system for studying strong equivalence between logic programs, Lecture Notes in Computer Science, 3662, 442-446, Springer, 2005.

19. VF Crescini, Y Zhang, PolicyUpdater: a system for dynamic access control, International Journal of Information Security, 2006 – Springer。

20. A. Kaiser, W. Kuchlin, Explaining inconsistencies in combinatorial automotive product data，Proc. 2nd Intl. Conf. on Intelligent Technologies

21. O. Kullmann, Open Problems on the combinatorics of conflicts between clauses, http://cs-svr1.swan.ac.uk/~csoliver/Artikel/OpenProblemsConflicts.html .

22. P. Liberatore, Redundancy in Logic II: 2CNF and Horn Propositional Formulae, available from http://arxiv.org/abs/cs/0506074

23. P. Liberatore, Redundancy in Logic III: Non-Monotonic Reasoning, available from http://arxiv.org/abs/cs/0506074

三、近年来承担项目

1. 教育部“新世纪优秀人才”支持计划,2005

2. 量化布尔公式的理论与算法研究，国家自然科学基金项目（60573011），主持。

3. 表达能力与计算复杂性研究，教育部人文社科基地重大招标项目（05JJD72040122），主持。

4. 关于数值计算、可计算性及计算复杂性的数学基础，国家自然科学基金重大国际（地区）合作研究项目（10410638），负责子课题：数值计算的复杂性。

5. 智能逻辑推理的复杂性研究，教育部博士点基金（01JB72040001），主持.

6. 面向认知的逻辑学研究，国家社科规划项目（02BZX046），主持。

7. 聘请境外专家项目，教育部，主持。

8. 智能推理中优先序的获取，中山大学重大发展项目，主持。

9. 智能逻辑的基础研究，985重点学科项目，主持。

10. 难问题固定参数复杂性，国家自然科学基金（10161005），主要参与。

四、著作

1．选择公理，人民出版社，2003 （独著）

2．数学百科全书（1—5卷），科学出版社，1992—1997。（翻译44个条目）。

五、近年来发表论文

1. Xishun Zhao, Complexity Results on Minimal Unsatisfiable Formulas, Mathematical Logic in Asia, 301-318, World Scientific, 2006.

2. Minimal Fasle Quantified Boolean Formulas, Lecture Notes in Computer Science 4121, Springer, 2006 (with H. Kleine Buening)

3. Model-Equivalent Reductions, Lecture Notes in Computer Science 3569, Springer, 2005 (with H. Kleine Buening)

4. Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas, Lecture Notes in Computer Science 3569, Springer, 2005 (with U. Bubeck and H. Kleine Buening)

5. Extension and Equivalent Problems for Clause Minimal Formulae, Annals of Mathematics and Artificial Intelligence, 43 (2005),295-306. （with H. Kleine Buening）

6. Equivalence Models for Quantified Boolean Formulas, Lecture Notes in Computer Science 3075, Springer, 2004（with H. Kleine Buening）

7. On Models for Quantified Boolean Formulas, Lecture Notes in Computer Science 3075, 18-32, Springer-Verlag, 2004.（with H. Kleine Buening）

8. Regular Disjunctive-Free Default Theories, Journal of Computer Science and Technology, 19 (2004), 329-340.

9. On Odd and Even Cycles in Normal Logic Programs. AAAI2004: 80-85. （with Fangzhen Lin）

10. Read-Once Unit Resolution，In Lecture Notes in Computer Science 2919, 356-369, 2004. （with H. Kleine Buening）

11. On Boolean Models for Quantified Boolean Horn Formulas，In Lecture Notes in Computer Science 2919, 93-104, 2004. （with H. Kleien Buening）

12. Complexity of Argument-Based Default Reasoning with Specificity, AI Communications----The European Journal on Artificial Intelligence, 16 (2003), 107-119.

13. A Method of Finding Priorities in Default Theories, Journal of Software, 14 (2003), 1530-1537. (with Decheng Ding)

14. On the Structure of Some Classes of Minimal Unsatisfiable Formulas, Discrete Applied Mathematics, 130 (2003), 185-207. （with H. Kleine Buening）

15. On the Fixed Parameterized Complexity of disjunction-free Default Reasoning，J. Computer Science and Technology, 18 (2003), 118-124. （with Decheng Ding）

16. Complexity of Read-Once Resolution，Annals of Mathematics and Artificial Intelligence, 36 (2002), 435. （with H. Kleine Buening）

17. Complexity of Unique Extension Problem in Default Logic，Fundamenta Informaticae, 53 (2002), 79-104. （with P. Liberatore）

18. Polynomial Time Algorithms for Computing Representations for Minimal Unsatisfiable Formulas，Information Processing Letters, 84 (2002), 147-151. （with H. Kleine Buening）

19. Some Algorithms for Extension Computation of Nonmonotonic Rule Systems，Fundamenta Informaticae, 48 (2001), 93-106. （with H. Kleine Buening）

20. Satisfiable Formulas Closed under Replacement, Electronic Notes in Discrete Mathematics 9, Elservier Science, 2001. （with H. Kleine Buening）

21. Complexity Results for 2CNF Default Theories, Fundamenta Informaticae, 45 (2001), 393-404. （with Decheng Ding）

22. Complexity Results for Restricted Credulous Default Reasoning, AI Communications----The European Journal of Artificial Intelligence, 13 (2000), 249-257. （with Decheng Ding）

23. More on Bounding Introspection in Modal Non-monotonic Logic, Acta Mathematica Sinica, 16 (2000), 555-564. （with Decheng Ding）

24. Two Tractable Subclasses of Minimal Unsatisfiable Formulas, Science in China, 42（1999）. （with Decheng Ding）

25. A Generalization to the Theory of Nonmonotonic Rule Systems, Chinese Journal of Advanved Software Research, 6 (1999). （with Decheng Ding）

26. Consistency Argument and Classification Problem in Lambda-Calculas, Science in China, Series E, 42 (1999)（with Ju Wang）

27. (YcΩ2n) Are Easy Terms, Chinese Science Bulletin, 43 (1998).（with Ju Wang）

28. ω1-Definable Sets and Chang’s Model C, Chinese Quarterly Math, 13 (1998). (with Ju Wang)