http://dl.gi.de/handle/20.500.12116/11092 2026-07-25T06:06:10Z http://dl.gi.de/handle/20.500.12116/11124 Special Issue on Automated Deduction Giesl, Jürgen 2010-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/11122 Current Trends in Automated Deduction Giesl, Jürgen Automated deduction is one of the key areas in artificial intelligence. In this short article we give an overview on some of the main current research topics in automated deduction. 2010-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/11125 iQser GIN Plattform Wurzer, Jörg Die iQser GIN Plattform verwandelt den Rohstoff an Daten in verwertbare, praxisrelevante Informationen. In der Wikipedia heißt es: „Information ist […] Wissenstransfer beziehungsweise „Wissen in Aktion“. Information entsteht […] immer nur punktuell, wenn ein Mensch zur Problemlösung Wissen (eine bestimmte Wissenseinheit) benötigt.“ Genau diese Aufgabe übernimmt die iQser GIN Plattform durch die intelligente und dynamische Vernetzung von Daten, damit sie zu Informationen in einem Kontext werden. 2010-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/11128 Künstliche Intelligenz ab 2010 bei Springer Althoff, Klaus-Dieter 2010-01-01T00:00:00Z