KI 2004: Advances in Artificial Intelligence
暂无分享,去创建一个
[1] Vladimir I. Levenshtein,et al. Binary codes capable of correcting deletions, insertions, and reversals , 1965 .
[2] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[3] François Bry,et al. SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.
[4] Jussi Karlgren,et al. Recognizing Text Genres With Simple Metrics Using Discriminant Analysis , 1994, COLING.
[5] G. Sutcliffe,et al. The TPTP Problem Library, Release v1.2.0 , 1995 .
[6] Hinrich Schütze,et al. Automatic Detection of Text Genre , 1997, ACL.
[7] Erica Melis,et al. AI-Techniques in Proof Planning , 1998, ECAI.
[8] Volker Sorge,et al. L UI : L ovely MEGA U ser I nterface. , 1999 .
[9] A. Meier,et al. Proof Planning with Multiple Strategies II , 1999 .
[10] Kevin Crowston,et al. The effects of linking on genres of Web documents , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.
[11] Michael Kohlhase,et al. System Description: MBASE, an Open Mathematical Knowledge Base , 2000, CADE.
[12] Efstathios Stamatatos,et al. Text Genre Detection Using Common Word Frequencies , 2000, COLING.
[13] Erica Melis,et al. Integrating Constraint Solving into Proof Planning , 2000, FroCoS.
[14] Carol Van Ess-Dykema,et al. The Form is the Substance: Classification of Genres in Text , 2001, HTLKM@ACL.
[15] A. Meier,et al. Exploring properties of residue classes , 2001 .
[16] Kevin Crowston,et al. Genre based navigation on the Web , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.
[17] Dieter Hutter,et al. Extending Development Graphs with Hiding , 2001, FASE.
[18] Michael Kohlhase,et al. MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems , 2001, J. Symb. Comput..
[19] Michael Kohlhase,et al. System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning , 2002, CADE.
[20] Sung-Hyon Myaeng,et al. Text genre classification with genre-revealing and subject-revealing features , 2002, SIGIR '02.
[21] Volker Sorge,et al. Comparing Approaches to the Exploration of the Domain of Residue Classes , 2002, J. Symb. Comput..
[22] Georg Rehm. Towards Automatic Web Genre Identification , 2002, HICSS.
[23] Aidan Finn,et al. Learning to classify documents according to genre , 2006, J. Assoc. Inf. Sci. Technol..