KI - Künstliche Intelligenz

Künstliche Intelligenz ab 2010 bei Springer

Klaus-Dieter Althoff

Willkommen bei Springer

Hermann Engesser

Special Issue on Automated Deduction

Jürgen Giesl

Current Trends in Automated Deduction

Jürgen Giesl

A SAT Solver for Circuits Based on the Tableau Method

Uwe Egly, Leopold Haller

Small is Again Beautiful in Description Logics

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan

Instance Based Methods—A Brief Overview

Peter Baumgartner, Evgenij Thorstensen

Practical Aspects of Automated Deduction for Program Verification

Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer

Logic-Based Question Answering

Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer

Deductive Verification of System Software in the Verisoft XT Project

Bernhard Beckert, Michał Moskal

Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective

Lothar Hotz, Bernd Neumann

LiSA: Auf dem Weg zur sicheren Assistenzrobotik

Erik Schulenburg, Norbert Elkmann, Markus Fritzsche, Joachim Hertzberg, Stefan Stiene

Differential Dynamic Logics

André Platzer

Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving

Peter Schneider-Kamp

iQser GIN Plattform

Jörg Wurzer

News