Volume 24, Issue 1

Search all KI - Künstliche Intelligenz articles

April 2010

Automated Deduction

Filter by

Volume:

Sort by

Date published:

New to old Old to new

16 articles in this issue

Künstliche Intelligenz ab 2010 bei Springer
Klaus-Dieter Althoff
Editorial 11 February 2010 Pages: 1 - 3
Willkommen bei Springer
Hermann Engesser
Editorial 11 February 2010 Pages: 5 - 6
Special Issue on Automated Deduction
Jürgen Giesl
Editorial 05 February 2010 Pages: 7 - 9
Current Trends in Automated Deduction
Jürgen Giesl
Fachbeitrag 05 February 2010 Pages: 11 - 13
A SAT Solver for Circuits Based on the Tableau Method
Uwe Egly
Leopold Haller
Fachbeitrag 11 February 2010 Pages: 15 - 23
Small is Again Beautiful in Description Logics
Franz Baader
Carsten Lutz
Anni-Yasmin Turhan
Fachbeitrag 09 February 2010 Pages: 25 - 33
Instance Based Methods—A Brief Overview
Peter Baumgartner
Evgenij Thorstensen
Fachbeitrag 05 February 2010 Pages: 35 - 42
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt
Bernhard Beckert
Philipp Rümmer
Fachbeitrag 23 February 2010 Pages: 43 - 49
Logic-Based Question Answering
Ulrich Furbach
Ingo Glöckner
Björn Pelzer
Projekt 05 February 2010 Pages: 51 - 55
Deductive Verification of System Software in the Verisoft XT Project
Bernhard Beckert
Michał Moskal
Projekt 05 February 2010 Pages: 57 - 61
Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective
Lothar Hotz
Bernd Neumann
Projekt 06 February 2010 Pages: 63 - 68
LiSA: Auf dem Weg zur sicheren Assistenzrobotik
Erik Schulenburg
Norbert Elkmann
Stefan Stiene
Projekt 12 February 2010 Pages: 69 - 73
Differential Dynamic Logics
André Platzer
Dissertationen und Habilitationen 12 February 2010 Pages: 75 - 77
Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving
Peter Schneider-Kamp
Dissertationen und Habilitationen 09 February 2010 Pages: 79 - 81
iQser GIN Plattform
Jörg Wurzer
KI-Markt 16 February 2010 Pages: 83 - 86
News

Community 05 February 2010 Pages: 87 - 91

Volume 24, Issue 1

Search

Navigation