Seminarraum Gödel, Institutsgebäude (Favoritenstr. 9-11) - EG, Zugang vom Innenhof

We will first present a short overview of our recommender systems www.sightsplanner.com and www.sightsmap.com along with a description of the core technologies used in both. Next we will look into our experiences with automated reasoning tasks in the system along with possible solutions. The last part of the talk brings up motivation and problems with algorithms and systems for reasoning with probabilistic logic.