劉曉虎

籍貫：河南省開封市

獲得學位：2003年6月，邏輯學博士，中山大學。

工作經歷：中山大學哲學系教授

中國邏輯學會現代邏輯專業委員會副主任

研究方向：非經典邏輯，人工智慧

模態邏輯，非經典邏輯，人工智慧邏輯，模型論，證明論。

學術論文發表在Journal of Philosophical logic, IJCAI，LORI等重要國際學術刊物與學術會議、以及中國社會科學等國內刊物和文集。

已發表論文：

Hu Liu and Xuefeng Wen, On formalizing causation based on constant conjunction theory,The Review of Symbolic Logic, vol 6-1, 2013. pp. 160-181. Hu Liu, Comments on Baltag, Christoff, Hansen and Smets, in Studies In Logic, Vol. 47, the Proceedings of the Conference of Logic Across the University, Foundations and Applications, 2013. pp. 433-435. Hu Liu and Xuefeng Wen, Effect learning by constant conjunction in a temporal structure, 邏輯學研究，Vol. 6-3,2013. pp. 1-15. Xuefeng Wen and Hu Liu, Logic Aggregation, in LNCS 8196, the Forth International Workshop on Logic, Rationality, and Interaction, 2013. pp. 282-295. Hu Liu, Yuan Ren and Xuefeng Wen, Simulative belief logic,Journal of Applied Logic, vol 11-2, 2013. pp. 217-228. 優博 基本 省社科 Sci Xuefeng Wen, Hu Liu and Fan Huang, An alternative logic for knowability, in LNAI 6953, the Third International Workshop on Logic, Rationality, and Interaction, 2011. pp. 342-355. 査非，劉虎，狀態相似性與流量限制模型，邏輯學研究，Vol. 4-2,2011. pp. 1-19. Hu Liu, An extension of ATL for model checking causality,Studies in Logic,Vol. 2-4, 2009. pp 1-15. Hu Liu, A cooperation logic for declaration structures, in Lecture Notes in Artificial Intelligence 5834, Second International Workshop on Logic, Rationality, and Interaction, 2009. pp.189-197. 劉虎，交互時態邏輯中的因果關係，邏輯與哲學，學富文化事業有限公司出版（台），pp113-125, 2009. 劉虎，開放系統中智能體競爭的時態邏輯，中山大學學報，vol. 48-2，2008，pp112-118.劉虎，鞠實兒，認知邏輯的邏輯全知問題，求是學刊，2008.

劉虎，開放系統中智能體競爭的時態邏輯，中山大學學報，2007.

Hu Liu and Shier Ju, Two-dimensional awareness logic, Journal of Philosophical logic, Vol. 33-5, 2004. pp. 481-495.

Hu Liu and Shier Ju, Belief, awareness, and two-dimensional logic, in Proceedings of 18th International Joint Conference on Artificial Intelligence (IJCAI-03), 2003. pp 1113-1118.

Shier Ju and Hu Liu, The logical structure of open sets, in Logic and Cognition: the Progress in Logical Study in China, eds. Shier Ju, Social Sciences in China Press, Beijing, China, 2003.

Shier Ju and Hu Liu, A three-valued logic based on open-world assumption, in Proceedings of the Conference of Artificial Intelligence and Computer Science of National Research Project, Tsinghua University Press, 2001. pp 507-516.

Hu Liu, A comparative study of the traditional concepts of set, Journal of Sun Yat-sen University, Vol. 20-2, 2000. pp 44-50.

目標驅動的無窮合作博弈研究，國家社科基金，18萬。(No. 13BZX066)。2013- 因果關係的形式化理論及其應用研究，5萬，廣東省哲學社會科學十二五規劃。2012- 基於時態邏輯的因果關係理論，中山大學基本科研業務費，7.5萬，2010年1月-2012年12月。非單調邏輯的基礎理論研究，教育部全國優秀博士論文專項，2007B01,42萬，2008年1月-2012年12月。非單調推理模式的信念梯度研究，中山大學桐山青年基金，2萬，2006-2008.

2012年3月-2013年3月訪問學者，美國斯坦福大學計算機系。

2005年5月－2006年5月 博士后研究員（Postdoctoral Fellow），新南威爾士大學計算機科學與工程學院人工智慧系，澳大利亞。

2003 年9月－2004年8月 Alan Ross Anderson博士后研究員（Alan Ross Anderson Postdoctoral Fellow），匹茲堡大學哲學系，美國。

2007年獲得全國優秀博士學位論文獎勵；2010年入選中山大學卓越人才計劃；2011年入選中山大學合生珠江優秀青年教師。