19303702        
        
          Practice seminar        
      
      SoSe 16: Übung zu Künstliche Intelligenz
Christoph Benzmüller
Information for students
Additional information:
Lecture see 19303701
Additional information / Pre-requisites
Prerequisites:
Basic knowledge in Mathematics and Algorithms & Datastructures.
Comments
Description:
Search methods for solving combinatorial problems, predicate logic, modal and description logic, automatic theorem proving, knowledge and expert based systems, fuzzy logic, human-computer interaction, pattern recognition specially for interactive computer applications.
closeSuggested reading
Literature:
to be announced
10 Class schedule
Regular appointments
                  
                    
                      Mon, 2016-07-25 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Tue, 2016-07-26 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-07-27 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Thu, 2016-07-28 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Fri, 2016-07-29 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Mon, 2016-08-01 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Tue, 2016-08-02 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Wed, 2016-08-03 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Thu, 2016-08-04 15:00 - 18:00                    
                        
    
    
                  
                  
                    
                      Fri, 2016-08-05 15:00 - 18:00                    
                        
    
    
                  
                
              
Description:
Search methods for solving combinatorial problems, predicate logic, modal and description logic, automatic theorem proving, knowledge and expert based systems, fuzzy logic, ... read more