Mathematics Subject Classification 2000

68Txx Artificial intelligence ( 2 Dok. )

• 68T01 General ( 0 Dok. )
• 68T05 Learning and adaptive systems ( 0 Dok. )
• 68T10 Pattern recognition, speech recognition ( 0 Dok. )
• 68T15 Theorem proving (deduction, resolution, etc.) ( 2 Dok. )
• 68T20 Problem solving (heuristics, search strategies, etc.) ( 0 Dok. )
• 68T27 Logic in artificial intelligence ( 0 Dok. )
• 68T30 Knowledge representation ( 0 Dok. )
• 68T35 Languages and software systems (knowledge-based systems, expert systems, etc.) ( 0 Dok. )
• 68T37 Reasoning under uncertainty ( 0 Dok. )
• 68T40 Robotics ( 0 Dok. )
• 68T45 Machine vision and scene understanding ( 0 Dok. )
• 68T50 Natural language processing ( 0 Dok. )
• 68T99 None of the above, but in this section ( 0 Dok. )