科研項(xiàng)目
作為骨干參加完成國家與省部級(jí)項(xiàng)目16項(xiàng)。作為項(xiàng)目負(fù)責(zé)人完成國家自然科學(xué)基金項(xiàng)目2項(xiàng)、教育部項(xiàng)目2項(xiàng)、中國博士后科學(xué)基金項(xiàng)目1項(xiàng)；2001至2004年作為課題副組長承擔(dān)863重大應(yīng)用示范項(xiàng)目2項(xiàng)；2004年承擔(dān)國家自然科學(xué)基金重大項(xiàng)目1項(xiàng)；獲教育部“新世紀(jì)優(yōu)秀人才支持計(jì)劃”支持。在國內(nèi)外核心刊物上發(fā)表論文150多篇，在國內(nèi)外人工智能領(lǐng)域產(chǎn)生重大影響。獲省科技進(jìn)步一等獎(jiǎng)3項(xiàng)，二等獎(jiǎng)1項(xiàng)。省優(yōu)秀教學(xué)成果二等獎(jiǎng)1項(xiàng)，省普通高等學(xué)校優(yōu)秀教材一等獎(jiǎng)1項(xiàng)，國家精品課程1項(xiàng)。所在教學(xué)團(tuán)隊(duì)于2008年榮獲了國家級(jí)教學(xué)團(tuán)隊(duì)的光榮稱號(hào)。
“基于模型的診斷推理”
（00年1月-02年12月）《國家自然科學(xué)基金項(xiàng)目》
“動(dòng)態(tài)設(shè)備的基于模型診斷方法”
（04年12月-07年12月）《教育部新世紀(jì)優(yōu)秀人才支持計(jì)劃項(xiàng)目》
“基于模型的診斷方法的研究”
（00年3月-02年3月）教育部《高等學(xué)校骨干教師資助計(jì)劃》
“基于模型的診斷”
（00年8月-01年6月）《教育部高等學(xué)校重點(diǎn)實(shí)驗(yàn)室訪問學(xué)者基金》
“基于模型的診斷”
（99年10月-01年12月）《中國博士后科學(xué)基金》等
學(xué)術(shù)論文
歐陽丹彤，劉敘華。Horn集上的有向調(diào)解法。 吉林大學(xué)自然科學(xué)學(xué)報(bào)，1992年11月，(4)：38～42。
歐陽丹彤，劉敘華。輸入調(diào)解法和單元調(diào)解法在Horn集上的完備性。軟件學(xué)報(bào)，1993年2月，4(1)：248～256。
歐陽丹彤，劉敘華。關(guān)于Strong形RUE－NRF歸結(jié)的反例。人工智能學(xué)術(shù)會(huì)議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é)的反例。計(jì)算機(jī)學(xué)報(bào)，1994年5月，17(5)：309～400。
劉敘華，歐陽丹彤。廣義Horn集。軟件學(xué)報(bào)，1995年4月，6(4)：248～256。(被EI收錄)
歐陽丹彤，姜云飛�；谝恢滦缘闹行脑\斷及中心溯因診斷。計(jì)算機(jī)學(xué)報(bào)，1998年6月，21(6)：540～545。(被EI收錄)
歐陽丹彤，姜云飛�；谝恢滦缘淖钚≌Ｔ\斷及其應(yīng)用。計(jì)算機(jī)學(xué)報(bào)，1998年6月，21(6)：560～565。(被EI收錄)
歐陽丹彤，姜云飛�？坍嫽谀Ｐ偷闹行脑\斷。軟件學(xué)報(bào)，1999年1月，10(1)：74～77。
歐陽丹彤，姜云飛。廣義因果理論的基于模型的診斷。計(jì)算機(jī)研究與發(fā)展，1999年1月，36(1)：31～35。
歐陽丹彤，姜云飛�；跀U(kuò)展的因果理論的鑒別診斷。軟件學(xué)報(bào)， 1999年7月，10(7)：719～723。(被EI收錄)
程曉春，歐陽丹彤。抽象和求精過程中用算子標(biāo)識(shí)約束信息。中國科學(xué)院軟件研究所計(jì)算機(jī)科學(xué)實(shí)驗(yàn)室報(bào)告。
歐陽丹彤，歐陽繼紅， 孫吉貴。廣義因果理論上基于模型診斷過程的形式化。吉林大學(xué)自然科學(xué)學(xué)報(bào)，2000年10月，(4)：32～36。
歐陽丹彤，歐陽繼紅�；谀Ｐ偷脑\斷方法。南京大學(xué)學(xué)報(bào)，第八屆全國青年計(jì)算機(jī)學(xué)術(shù)會(huì)議文集，2000年10月，36：187～192。
歐陽丹彤。基于模型診斷的研究與新進(jìn)展。吉林大學(xué)決策支持系統(tǒng)研發(fā)中心技術(shù)報(bào)告。
歐陽丹彤，孫吉貴，姜云飛�；谀Ｐ驮\斷的形式化方法。人工智能進(jìn)展(第六屆中國人工智能聯(lián)合學(xué)術(shù)會(huì)議論文集)，清華大學(xué)出版社，2001年2月：196～201。
歐陽繼紅， 劉大有, 歐陽丹彤。空間推理及其研究現(xiàn)狀。人工智能進(jìn)展(第六屆中國人工智能聯(lián)合學(xué)術(shù)會(huì)議論文集)，清華大學(xué)出版社，2001年2月。
歐陽丹彤，歐陽繼紅，劉大有�；谀Ｐ驮\斷的研究與新進(jìn)展。吉林大學(xué)自然科學(xué)學(xué)報(bào)，2001年4月，(2)：38～45。
姜云飛，歐陽丹彤。關(guān)于基于模型的診斷�！妒兰o(jì)之交的知識(shí)工程與知識(shí)科學(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。
歐陽丹彤�；谀Ｐ偷膶�(shí)質(zhì)診斷。自然科學(xué)進(jìn)展，2001年10月，11(10) ：1115～1119。
程曉春，歐陽丹彤。抽象和求精過程中用算子標(biāo)識(shí)約束信息。計(jì)算機(jī)科學(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月。
歐陽丹彤，孫吉貴。對(duì)基于模型診斷過程的形式化。模式識(shí)別與人工智能，2002年9月，15(3)：274～279。(被EI收錄)
胡延銳，歐陽丹彤。應(yīng)用基于模型診斷于軟件調(diào)試。計(jì)算機(jī)科學(xué)，2002年10月，29(9)：313～317。
胡延銳，歐陽丹彤�；谀Ｐ偷木W(wǎng)絡(luò)故障診斷方法。計(jì)算機(jī)工程與應(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é)報(bào)理學(xué)版(原吉林大學(xué)自然科學(xué)學(xué)報(bào))，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.
歐陽丹彤，歐陽繼紅，程曉春，李志榮，樊雪。分層的基于模型診斷。計(jì)算機(jī)科學(xué)，2004。31(10.A)：254-256。
歐陽丹彤，歐陽繼紅，程曉春，劉杰.基于模型診斷中計(jì)算碰集的方法. 儀器儀表學(xué)報(bào)，2004年8月，總第116期，25(4)：605-608。
歐陽丹彤，才殿波，李占山.基于模型的動(dòng)態(tài)分層診斷技術(shù). 儀器儀表學(xué)報(bào)，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é)報(bào)自然科學(xué)版(ISSN 1000-1832)，2004年12月，36(4)：38--44。
趙相福，歐陽丹彤。一種結(jié)合SE-tree計(jì)算所有極小碰集的方法。 計(jì)算機(jī)科學(xué)，2005年8月，32(8.A)：257-260。
趙相福，歐陽丹彤。動(dòng)態(tài)系統(tǒng)基于模型診斷的研究進(jìn)展與展望。儀器儀表學(xué)報(bào)，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信息融合性能評(píng)估方法研究.吉林大學(xué)學(xué)報(bào)理學(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.
