作為骨干參加完成國家與省部級項目16項。作為項目負(fù)責(zé)人完成國家自然科學(xué)基金項目2項、教育部項目2項、中國博士后科學(xué)基金項目1項；2001至2004年作為課題副組長承擔(dān)863重大應(yīng)用示范項目2項；2004年承擔(dān)國家自然科學(xué)基金重大項目1項；獲教育部“新世紀(jì)優(yōu)秀人才支持計劃”支持。在國內(nèi)外核心刊物上發(fā)表論文150多篇，在國內(nèi)外人工智能領(lǐng)域產(chǎn)生重大影響。獲省科技進步一等獎3項，二等獎1項。省優(yōu)秀教學(xué)成果二等獎1項，省普通高等學(xué)校優(yōu)秀教材一等獎1項，國家精品課程1項。所在教學(xué)團隊于2008年榮獲了國家級教學(xué)團隊的光榮稱號。

（00年1月-02年12月）《國家自然科學(xué)基金項目》

（04年12月-07年12月）《教育部新世紀(jì)優(yōu)秀人才支持計劃項目》

（00年3月-02年3月）教育部《高等學(xué)校骨干教師資助計劃》

（00年8月-01年6月）《教育部高等學(xué)校重點實驗室訪問學(xué)者基金》

（99年10月-01年12月）《中國博士后科學(xué)基金》等

歐陽丹彤，劉敘華。Horn集上的有向調(diào)解法。 吉林大學(xué)自然科學(xué)學(xué)報，1992年11月，(4)：38～42。

歐陽丹彤，劉敘華。輸入調(diào)解法和單元調(diào)解法在Horn集上的完備性。軟件學(xué)報，1993年2月，4(1)：248～256。

歐陽丹彤，劉敘華。關(guān)于Strong形RUE－NRF歸結(jié)的反例。人工智能學(xué)術(shù)會議93論文集, 1993年11月：44～47。

歐陽丹彤，劉敘華。Completeness of Input Symmetric Paramodulation and Unit Symmetric Paramodulation on Horn Set。Chinese Journal of Advanced Software Research，1994年5月，1(2)：105～113。

歐陽丹彤，劉敘華。關(guān)于Strong形RUE－NRF歸結(jié)的反例。計算機學(xué)報，1994年5月，17(5)：309～400。

劉敘華，歐陽丹彤。廣義Horn集。軟件學(xué)報，1995年4月，6(4)：248～256。(被EI收錄)

歐陽丹彤，姜云飛。基于一致性的中心診斷及中心溯因診斷。計算機學(xué)報，1998年6月，21(6)：540～545。(被EI收錄)

歐陽丹彤，姜云飛�；�于一致性的最小正常診斷及其應(yīng)用。計算機學(xué)報，1998年6月，21(6)：560～565。(被EI收錄)

歐陽丹彤，姜云飛�？坍嫽�于模型的中心診斷。軟件學(xué)報，1999年1月，10(1)：74～77。

歐陽丹彤，姜云飛。廣義因果理論的基于模型的診斷。計算機研究與發(fā)展，1999年1月，36(1)：31～35。

歐陽丹彤，姜云飛�；�于擴展的因果理論的鑒別診斷。軟件學(xué)報， 1999年7月，10(7)：719～723。(被EI收錄)

程曉春，歐陽丹彤。抽象和求精過程中用算子標(biāo)識約束信息。中國科學(xué)院軟件研究所計算機科學(xué)實驗室報告。

歐陽丹彤，歐陽繼紅， 孫吉貴。廣義因果理論上基于模型診斷過程的形式化。吉林大學(xué)自然科學(xué)學(xué)報，2000年10月，(4)：32～36。

歐陽丹彤，歐陽繼紅。基于模型的診斷方法。南京大學(xué)學(xué)報，第八屆全國青年計算機學(xué)術(shù)會議文集，2000年10月，36：187～192。

歐陽丹彤�；�于模型診斷的研究與新進展。吉林大學(xué)決策支持系統(tǒng)研發(fā)中心技術(shù)報告。

歐陽丹彤，孫吉貴，姜云飛�；�于模型診斷的形式化方法。人工智能進展(第六屆中國人工智能聯(lián)合學(xué)術(shù)會議論文集)，清華大學(xué)出版社，2001年2月：196～201。

歐陽繼紅， 劉大有, 歐陽丹彤。空間推理及其研究現(xiàn)狀。人工智能進展(第六屆中國人工智能聯(lián)合學(xué)術(shù)會議論文集)，清華大學(xué)出版社，2001年2月。

歐陽丹彤，歐陽繼紅，劉大有�；�于模型診斷的研究與新進展。吉林大學(xué)自然科學(xué)學(xué)報，2001年4月，(2)：38～45。

姜云飛，歐陽丹彤。關(guān)于基于模型的診斷�！妒兰o(jì)之交的知識工程與知識科學(xué)》，2001年9月：339～363。清華大學(xué)出版社。(第一作者是我的博士生導(dǎo)師)

Cheng Xiaochun,Ouyang Dantong。A Survey on Diagnosis Researches. In:Proc. of the 7th CACSCUK,ISBN: 0 9533890 49, Nottingham, UK, 22 September, 2001. pages 223～228.Also as Computer Science Technical Reports at Reading University, England. RUCS/2001/TR/06/001/A.

Chen Rong,Cheng Xiaochun,Ouyang Dantong.A Semantic Approach to Select Best Explanation Dynamically:Proc. of the 7th CACSCUK,ISBN: 0 9533890 49, Nottingham, UK, 22 September, 2001. pages 249～253.

Ouyang Dantong,Cheng Xiaochun.Characterising Model-based : Proc. of the 7th CACSCUK, ISBN: 0 9533890 49, Nottingham, UK, 22 September,2001. pages 237～242. Also as Computer Science Technical Reports at Reading University, England.RUCS/2001/TR/03/001/A。

歐陽丹彤�；�于模型的實質(zhì)診斷。自然科學(xué)進展，2001年10月，11(10) ：1115～1119。

程曉春，歐陽丹彤。抽象和求精過程中用算子標(biāo)識約束信息。計算機科學(xué)，28(9)：66～75。

歐陽丹彤。Kernel Model-based Diagnosis。Progress in Natural Science，2002年2月，12(2)：141～145。(被SCI、EI收錄)

孫吉貴，楊鳳杰，歐陽丹彤，李占山。離散數(shù)學(xué)。高等教育出版社。2002年8月。

歐陽丹彤，孫吉貴。對基于模型診斷過程的形式化。模式識別與人工智能，2002年9月，15(3)：274～279。(被EI收錄)

胡延銳，歐陽丹彤。應(yīng)用基于模型診斷于軟件調(diào)試。計算機科學(xué)，2002年10月，29(9)：313～317。

胡延銳，歐陽丹彤�；�于模型的網(wǎng)絡(luò)故障診斷方法。計算機工程與應(yīng)用，2002年12月，38：97～99。

Cheng Xiaochun,Ouyang Dantong.A General Model-based Diagnosis. 25th International Conference on INFORMATION TECHNOLOGY INTERFACES,ITI 2003,Cavtat, Croatia, June 16-19, 2003.

Cheng Xiaochun,Ouyang Dantong.A Logic Framework with Algebraic Extension. 25th International Conference on INFORMATION TECHNOLOGY INTERFACES,ITI 2003,Cavtat, Croatia, June 16-19.

Cheng Xiaochun,Ouyang Dantong.Agent-Oriented Software Engineering to Develop Hybrid Intelligent Systems. In:Proc.of the 2nd IEEE SMC Workshop on Cybernetic Intelligence ?Challenges and Advances,UK,17 September,2003.

X. Cheng; X Yu; M. Cheng; D. Ouyang, S. Zhong, X. Guo,K. Yang and S. Wang Cheng.Mineral Resource Appraisal Based on Information Synthesis. In:Proc.of the 2nd IEEE SMC Workshop on Cybernetic Intelligence - Challenges and Advances,UK,17 September,2003.

Dong Xuchu,Ouyang Dantong.Simplifying Structures of Bayesian Networks. In:Proc.of the 2nd IEEE SMC Workshop on Cybernetic Intelligence - Challenges and Advances,UK,17 September,2003.

董旭初，歐陽丹彤，劉大有。Bayesian網(wǎng)推理中的化簡方法。吉林大學(xué)學(xué)報理學(xué)版(原吉林大學(xué)自然科學(xué)學(xué)報)，2004年1月，42(1)：77～83。

Ouyang Dan-tong,Ouyang Ji-hong,Cheng Xiao-chun. Hierarchical model-based diagnosis. Second International Conference on Knowledge Economy and Development of Science and Technology (KEST 2004), 161-165.

歐陽丹彤，歐陽繼紅，程曉春，李志榮，樊雪。分層的基于模型診斷。計算機科學(xué)，2004。31(10.A)：254-256。

歐陽丹彤，歐陽繼紅，程曉春，劉杰.基于模型診斷中計算碰集的方法. 儀器儀表學(xué)報，2004年8月，總第116期，25(4)：605-608。

歐陽丹彤，才殿波，李占山.基于模型的動態(tài)分層診斷技術(shù). 儀器儀表學(xué)報，2004年8月，總第116期，25(4)：609-613。

Y. Li, D. Ouyang, M. Cheng, X. Yu, S. Zhong. Semantic Organization to Enhance Active Learning Based on Distributed Multimedia Educational Resources. 2004 IEEE International Symposium on Consumer Electronics.September 1-3, 2004,Holiday Inn, Reading, UK.IEEE Catalogue Number: 04TH8755C.ISBN: 0-7803-8527-6. 436-441.

程曉春，鐘紹春，歐陽丹彤，張成奇。抽象算子邏輯及其自然演繹系統(tǒng)。東北師大學(xué)報自然科學(xué)版(ISSN 1000-1832)，2004年12月，36(4)：38--44。

趙相福，歐陽丹彤。一種結(jié)合SE-tree計算所有極小碰集的方法。 計算機科學(xué)，2005年8月，32(8.A)：257-260。

趙相福，歐陽丹彤。動態(tài)系統(tǒng)基于模型診斷的研究進展與展望。儀器儀表學(xué)報，2005年8月，26(8，總第126期)：599-602。

ZHAO Xiangfu and OUYANG Dantong . A method of combining SE-tree to compute all minimal hitting sets .Progress in Natural Science.已接收。

劉云翔,林家駿,歐陽丹彤.基于粗集理論的C3I信息融合性能評估方法研究.吉林大學(xué)學(xué)報理學(xué)版，2005年11月。

Yuxin Ye, Dantong Ouyang. Next Generational Intelligent Search System Integrated Services, Journal of Chinese Computer Systems, submitted.

Yuxin Ye, Dantong Ouyang. Persistent Storage and Query of Large-Scale Expressive Ontology, Frontiers Algorithmics International Workshop 2009,submitted.

Yuxin Ye, Dantong Ouyang, Jigui Sun. From Web Search to Semantic Web Searching. Corpus of Basic Theory and Core Techniques of Non Canonical Knowledge (edited by Ruqian Lu), Tsinghua University Press, to be published.

Yuxin Ye, Dantong Ouyang. Research Advances in Technologies of Semantic Web Search. Computer Science, submitted.

Yuxin Ye, Dantong Ouyang, et al. Consistency Checking of Ontology-based SHOIQ(D). Journal of Computer Research and Development, accepted for published.

Yuxin Ye, Dantong Ouyang, et al. Research and Design on Reasoning Algorithm with Ontologies and Rules, Journal of Jilin University, accepted for published.

Jigui Sun, Yuxin Ye, Dantong Ouyang. Technology and Implementation of Semantic Web Search, Basic Theory and Core Techniques of Non Canonical Knowledge(edited by Ruqian Lu), Tsinghua University Press, to be published.