RobotikLéa Sombé ×Vieweg & Teubner × Schließen bei unsicherem Wissen in der Künstlichen IntelligenzVergleich von Formalismen anhand eines BeispielsLéa SombéVieweg & TeubnereBook2013