Volume 24; Issue 1

KI - Künstliche Intelligenz

Volume 24; Issue 1
2

Instance Based Methods—A Brief Overview

Peter Baumgartner, Evgenij Thorstensen
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 292 KB
english, 2010
3

Künstliche Intelligenz ab 2010 bei Springer

Klaus-Dieter Althoff
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
german
File:
PDF, 130 KB
german, 2010
4

Small is Again Beautiful in Description Logics

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 428 KB
english, 2010
5

Deductive Verification of System Software in the Verisoft XT Project

Bernhard Beckert, Michał Moskal
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 243 KB
english, 2010
6

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

Lothar Hotz, Bernd Neumann
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 595 KB
english, 2010
7

Willkommen bei Springer

Hermann Engesser
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
german
File:
PDF, 121 KB
german, 2010
8

A SAT Solver for Circuits Based on the Tableau Method

Uwe Egly, Leopold Haller
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 478 KB
english, 2010
9

Special Issue on Automated Deduction

Jürgen Giesl
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 138 KB
english, 2010
10

Logic-Based Question Answering

Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 544 KB
english, 2010
11

Current Trends in Automated Deduction

Jürgen Giesl
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 191 KB
english, 2010
12

News

Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 159 KB
english, 2010
14

Differential Dynamic Logics

André Platzer
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 311 KB
english, 2010
15

Static Termination Analysis for Prolog Using

Peter Schneider-Kamp
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
english
File:
PDF, 266 KB
english, 2010
16

iQser GIN Plattform

Jörg Wurzer
Journal:
KI - Künstliche Intelligenz
Year:
2010
Language:
german
File:
PDF, 462 KB
german, 2010