Articles

1. Integration of Similarity-based and Deductive Reasoning for Knowledge Management

   • Babak Mougouie

   Dissertationen und Habilitationen 13 May 2010 Pages: 169 - 173

2. ROSE – Auf dem Weg zur mobilen Assistenz

   • Jan Schrader
   • Bjørn Zenker
   • Richard Schaller

   Projekt 07 May 2010 Pages: 153 - 157

   

3. Simultaneous Localization and Mapping – Gasteditorial

   • Udo Frese

   Editorial 06 May 2010 Pages: 189 - 189

   

4. Wie lockt man Zeitschriftenautoren?

   • Joachim Hertzberg

   Editorial 17 April 2010 Pages: 93 - 95

5. Practical Aspects of Automated Deduction for Program Verification

   • Wolfgang Ahrendt
   • Bernhard Beckert
   • Philipp Rümmer

   Fachbeitrag 23 February 2010 Pages: 43 - 49

6. iQser GIN Plattform

   • Jörg Wurzer

   KI-Markt 16 February 2010 Pages: 83 - 86

   

7. Differential Dynamic Logics

   • André Platzer

   Dissertationen und Habilitationen 12 February 2010 Pages: 75 - 77

   

8. LiSA: Auf dem Weg zur sicheren Assistenzrobotik

   • Erik Schulenburg
   • Norbert Elkmann
   • Stefan Stiene

   Projekt 12 February 2010 Pages: 69 - 73

   

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

   • Uwe Egly
   • Leopold Haller

   Fachbeitrag 11 February 2010 Pages: 15 - 23

   

10. Willkommen bei Springer

    • Hermann Engesser

    Editorial 11 February 2010 Pages: 5 - 6

    

11. Künstliche Intelligenz ab 2010 bei Springer

    • Klaus-Dieter Althoff

    Editorial 11 February 2010 Pages: 1 - 3

    

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

    • Peter Schneider-Kamp

    Dissertationen und Habilitationen 09 February 2010 Pages: 79 - 81

    

13. Small is Again Beautiful in Description Logics

    • Franz Baader
    • Carsten Lutz
    • Anni-Yasmin Turhan

    Fachbeitrag 09 February 2010 Pages: 25 - 33

    

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

    • Lothar Hotz
    • Bernd Neumann

    Projekt 06 February 2010 Pages: 63 - 68

    

15. News

    Community 05 February 2010 Pages: 87 - 91

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

    • Bernhard Beckert
    • Michał Moskal

    Projekt 05 February 2010 Pages: 57 - 61

    

17. Logic-Based Question Answering

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

    Projekt 05 February 2010 Pages: 51 - 55

    

18. Instance Based Methods—A Brief Overview

    • Peter Baumgartner
    • Evgenij Thorstensen

    Fachbeitrag 05 February 2010 Pages: 35 - 42

    

19. Current Trends in Automated Deduction

    • Jürgen Giesl

    Fachbeitrag 05 February 2010 Pages: 11 - 13

20. Special Issue on Automated Deduction

    • Jürgen Giesl

    Editorial 05 February 2010 Pages: 7 - 9