Automatic document classification - A thorough evaluation of various methods (English)
ISI, 145-162 (2000).
1
A connectionist approach for learning search-control heuristics for automated deduction systems (Thesis, TU München, 1997). (English)
DISKI. Dissertationen zur Künstlichen Intelligenz. 206. Amsterdam: IOS Press. Berlin: infix, Akademische Verlagsgesellschaft Aka. 136 p. Dfl. 54.00; EUR 24.51; \sterling 16.00; DM 48.00; \$ 30.00 (1999).
2
A connectionist approach for learning search-control heuristics for automated deduction systems (English)
DISKI 206, I-XIII, 1-136 (1999).
3
Learning search-control heuristics for automated deduction systems with folding architecture networks (English)
ESANN, 45-50 (1999).
4
Feature extraction and learning vector quantization for data structures (English)
IIA/SOCO (1999).
5
The CADE-13 systems SETHEO and E-SETHEO. (English)
J. Autom. Reasoning 18, No. 2, 237-246 (1997).
6
Learning distributed representations for the classification of terms (English)
IJCAI, 509-517 (1995).
7
Controlled integration of the cut rule into connection tableau calculi. (English)
J. Autom. Reasoning 13, No.3, 297-337 (1994).
8
SETHEO V3.2: recent developments - system abstract (English)
CADE, 778-782 (1994).
9
Start
Contact
Print
General Help
