http://dl.gi.de/handle/20.500.12116/11092 Mon, 27 Jul 2026 08:38:16 GMT 2026-07-27T08:38:16Z http://dl.gi.de/handle/20.500.12116/11124 Special Issue on Automated Deduction Giesl, Jürgen Fri, 01 Jan 2010 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/11124 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. Fri, 01 Jan 2010 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/11122 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. Fri, 01 Jan 2010 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/11125 2010-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/11128 Künstliche Intelligenz ab 2010 bei Springer Althoff, Klaus-Dieter Fri, 01 Jan 2010 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/11128 2010-01-01T00:00:00Z