Künstliche Intelligenz, Volume 24, 2010
Volume 24, Number 1, April 2010
Klaus-Dieter Althoff: Künstliche Intelligenz ab 2010 bei Springer. 1-3- Hermann Engesser: Willkommen bei Springer. 5-6
- Jürgen Giesl: Special Issue on Automated Deduction. 7-9
- Jürgen Giesl: Current Trends in Automated Deduction. 11-13
- Franz Baader, Carsten Lutz, Anni-Yasmin Turhan: Small is Again Beautiful in Description Logics. 25-33
- Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer: Practical Aspects of Automated Deduction for Program Verification. 43-49
- Bernhard Beckert, Michal Moskal: Deductive Verification of System Software in the Verisoft XT Project. 57-61
- Lothar Hotz, Bernd Neumann: Learning and Recognizing Structures in Façade Scenes (eTRIMS) - A Retrospective. 63-68
- Erik Schulenburg, Norbert Elkmann, Markus Fritzsche, Joachim Hertzberg, Stefan Stiene: LiSA: Auf dem Weg zur sicheren Assistenzrobotik. 69-73
- André Platzer: Differential Dynamic Logics. 75-77
- Peter Schneider-Kamp: Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving. 79-81
- Jörg Wurzer: iQser GIN Plattform. 83-86
Volume 24, Number 2, July 2010
- Joachim Hertzberg: Wie lockt man Zeitschriftenautoren? 93-95
- Bernd Hellingrath, Carsten Böhle: Integrierte agentenbasierte Produktions- und Logistikplanung in der Supply Chain. 115-122
- Jürgen Sauer: Vertical Data Integration for Reactive Scheduling. 123-129
- Natalja Pulter, Jens Nimis, Peter C. Lockemann: Störungsmanagement in offenen, getakteten Logistiknetzen. 131-136
- Jan D. Gehrke, Otthein Herzog, Hagen Langer, Rainer Malaka, Robert Porzel, Tobias Warden: An Agent-based Approach to Autonomous Logistic Processes - Collaborative Research Centre 637: Autonomous Cooperating Logistic Processes. 137-141
- Alexander V. Smirnov, Nikolay Shilov: AI-based Approaches to Solving a Dynamic Logistics Problem. 143-147
- Thomas A. Runkler, Ralph Grothmann, Joachim Bamberger: Optimierung industrieller Logistikprozesse mit Verfahren der Schwarmintelligenz und rekurrenten neuronalen Netzen. 149-152
- Dirk Pawlaszczyk: Skalierbare Agentenbasierte Simulation - Verteilte Simulation agentenbasierter Modelle. 161-163
- Andre Döring: Intelligente Steuerung der Änderungsplanung in Produktionsnetzwerken der Serienfertigung. 165-168
- Babak Mougouie: Integration of Similarity-based and Deductive Reasoning for Knowledge Management. 169-173
- Alexander Ferrein: Robot Controllers for Highly Dynamic Environments with Real-time Constraints. 175-178
Volume 24, Number 3, September 2010
- Ubbo Visser: KI und Roboter. 185-187
- Udo Frese: Simultaneous Localization and Mapping - Gasteditorial. 189
- Henrik Kretzschmar, Giorgio Grisetti, Cyrill Stachniss: Lifelong Map Learning for Graph-based SLAM in Static Environments. 199-206
- Elmar Mair, Klaus H. Strobl, Tim Bodenmüller, Michael Suppa, Darius Burschka: Real-time Image-based Localization for Hand-held 3D-modeling. 207-214
- Niko Sünderhauf, Peter Protzel: Learning from Nature: Biologically Inspired Robot Navigation and SLAM - A Review. 215-221
- Alexandra Kirsch, Thibault Kruse, Emrah Akin Sisbot, Rachid Alami, Martin Lawitzky, Drazen Brscic, Sandra Hirche, Patrizia Basili, Stefan Glasauer: Plan-Based Control of Joint Human-Robot Activities. 223-231
- Jakob Schwendner, Frank Kirchner: eSLAM - Self Localisation and Mapping Using Embodied Data. 241-244
- Joachim Hertzberg, Kai Lingemann, Christopher Lörken, Andreas Nüchter, Stefan Stiene, Thomas Wiemann: 3D-Roboterkartenbau in Osnabrück. 245-248
- Andreas Birk, Kaustubh Pathak, Narunas Vaskevicius, Max Pfingsthorn, Jann Poppinga, Sören Schwertfeger: Surface Representations for 3D Mapping - A Case for a Paradigm Shift. 249-254
- Udo Frese: Interview: Is SLAM Solved? 255-257
- Tobias Reiter: Fallbasierte Entscheidungsunterstützung für die Strukturplanung von Jahresabschlussprüfungen. 259-262
- Radu Bogdan Rusu: Andreas Nüchter (2009): 3D Robotic Mapping: The Simultaneous Localization and Mapping Problem with Six Degrees of Freedom (Springer Tracts in Advanced Robotics 52) - Springer, Berlin/Heidelberg, 204 pp., ISBN 978-3-540-89883-2, e-ISBN 978-3-540-89884-9. 267
Volume 24, Number 4, November 2010
- Ralph Bergmann: KI im Daten-Tsunami. 279-281
- Jonathan Maycock, Daniel Dornbusch, Christof Elbrechter, Robert Haschke, Thomas Schack, Helge Ritter: Approaching Manual Intelligence. 287-294
- Rüdiger Dillmann, Tamim Asfour, Martin Do, Rainer Jäkel, Alexander Kasper, Pedram Azad, Ales Ude, Sven R. Schmidt-Rohr, Martin Lösch: Advances in Robot Programming by Demonstration. 295-303
- Michael Beetz, Martin Buss, Bernd Radig: Learning from Humans - Computational Models of Cognition-Enabled Control of Everyday Activity. 311-318
- Helge Ritter: Cognitive Interaction Technology - Goals and Perspectives of Excellence Cluster CITEC. 319-322
- Christian Freksa, Holger Schultheis, Kerstin Schill, Thora Tenbrink, Thomas Barkowsky, Christoph Hölscher, Bernhard Nebel: Spatial Cognition: Reasoning, Action, Interaction. 329-334
- Susanne Biundo, Andreas Wendemuth: Von kognitiven technischen Systemen zu Companion-Systemen. 335-339
- Michael Beetz, Alexandra Kirsch: Interview with Eric Berger (Co-Director, Personal Robotics Program, Willow Garage). 341-343
- Radu Bogdan Rusu: Semantic 3D Object Maps for Everyday Manipulation in Human Living Environments. 345-348
- Daniel Göhring: Constraint Based World Modeling for Multi Agent Systems in Dynamic Environments. 349-353
- Thomas Sauer: Automated Enactment Tracking for Dynamic Workflows. 355-359
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team