http://dl.gi.de/handle/20.500.12116/11092 2026-07-25T15:41:19Z 2026-07-25T15:41:19Z Giesl, Jürgen http://dl.gi.de/handle/20.500.12116/11124 2018-03-20T10:33:07Z 2010-01-01T00:00:00Z

Special Issue on Automated Deduction Giesl, Jürgen

2010-01-01T00:00:00Z Giesl, Jürgen http://dl.gi.de/handle/20.500.12116/11122 2018-03-20T10:33:07Z 2010-01-01T00:00:00Z

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 Wurzer, Jörg http://dl.gi.de/handle/20.500.12116/11125 2018-03-20T10:33:07Z 2010-01-01T00:00:00Z

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 Althoff, Klaus-Dieter http://dl.gi.de/handle/20.500.12116/11128 2018-03-20T10:33:07Z 2010-01-01T00:00:00Z

Künstliche Intelligenz ab 2010 bei Springer Althoff, Klaus-Dieter

2010-01-01T00:00:00Z