1. Künstliche Intelligenz ab 2010 bei Springer

   • Klaus-Dieter Althoff

   Editorial 11 February 2010 Pages: 1 - 3

   

2. Willkommen bei Springer

   • Hermann Engesser

   Editorial 11 February 2010 Pages: 5 - 6

   

3. Special Issue on Automated Deduction

   • Jürgen Giesl

   Editorial 05 February 2010 Pages: 7 - 9

4. Current Trends in Automated Deduction

   • Jürgen Giesl

   Fachbeitrag 05 February 2010 Pages: 11 - 13

5. A SAT Solver for Circuits Based on the Tableau Method

   • Uwe Egly
   • Leopold Haller

   Fachbeitrag 11 February 2010 Pages: 15 - 23

   

6. Small is Again Beautiful in Description Logics

   • Franz Baader
   • Carsten Lutz
   • Anni-Yasmin Turhan

   Fachbeitrag 09 February 2010 Pages: 25 - 33

   

7. Instance Based Methods—A Brief Overview

   • Peter Baumgartner
   • Evgenij Thorstensen

   Fachbeitrag 05 February 2010 Pages: 35 - 42

   

8. Practical Aspects of Automated Deduction for Program Verification

   • Wolfgang Ahrendt
   • Bernhard Beckert
   • Philipp Rümmer

   Fachbeitrag 23 February 2010 Pages: 43 - 49

9. Logic-Based Question Answering

   • Ulrich Furbach
   • Ingo Glöckner
   • Björn Pelzer

   Projekt 05 February 2010 Pages: 51 - 55

   

10. Deductive Verification of System Software in the Verisoft XT Project

    • Bernhard Beckert
    • Michał Moskal

    Projekt 05 February 2010 Pages: 57 - 61

    

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

    • Lothar Hotz
    • Bernd Neumann

    Projekt 06 February 2010 Pages: 63 - 68

    

12. LiSA: Auf dem Weg zur sicheren Assistenzrobotik

    • Erik Schulenburg
    • Norbert Elkmann
    • Stefan Stiene

    Projekt 12 February 2010 Pages: 69 - 73

    

13. Differential Dynamic Logics

    • André Platzer

    Dissertationen und Habilitationen 12 February 2010 Pages: 75 - 77

    

14. Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving

    • Peter Schneider-Kamp

    Dissertationen und Habilitationen 09 February 2010 Pages: 79 - 81

    

15. iQser GIN Plattform

    • Jörg Wurzer

    KI-Markt 16 February 2010 Pages: 83 - 86

    

16. News

    Community 05 February 2010 Pages: 87 - 91