Your Computer is Stupid

The field of artificial intelligence is progressing. TU Vienna is a major center of this line of research. Several conferences on this topic will be held during the "Vienna Summer of Logic". The ball does not fit into the suitcase, because it is too small. What is too small? The ball or the suitcase? For humans the answer is evident, but computers still cannot handle such simple questions. Research in artificial intelligence is bound to change that. Using logical methods, strategies are developed to approximate natural reasoning, based on common sense.