Skip to main content
SpringerLink
Log in

KI 2007: Advances in Artificial Intelligence

30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Joachim Hertzberg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Beetz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Roman Englert
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4667)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: KI 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (52 papers)

  1. Papers

    1. A Computational Model of Bistable Perception- Attention Dynamics with Long Range Correlations

      • Norbert Fürstenau
      Pages 251-263

    2. On Constructing a Communicative Space in HRI

      • Claudia Muhl, Yukie Nagai, Gerhard Sagerer
      Pages 264-278

    3. Natural Language Descriptions of Human Behavior from Video Sequences

      • Carles Fernández Tena, Pau Baiget, Xavier Roca, Jordi Gonzàlez
      Pages 279-292

    4. Detecting Humans in 2D Thermal Images by Generating 3D Models

      • Stefan Markov, Andreas Birk
      Pages 293-307

    5. Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval

      • B. Gottfried, A. Schuldt, O. Herzog
      Pages 308-322

    6. Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform

      • Kwangsoo Hahn, Youngjoon Han, Hernsoo Hahn
      Pages 323-336

    7. Solving Decentralized Continuous Markov Decision Problems with Structured Reward

      • Emmanuel Benazera
      Pages 337-351

    8. Options in Readylog Reloaded – Generating Decision-Theoretic Plan Libraries in Golog

      • Lutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer
      Pages 352-366

    9. On the Construction and Evaluation of Flexible Plan-Refinement Strategies

      • Bernd Schattenberg, Julien Bidot, Susanne Biundo
      Pages 367-381

    10. Learning How to Play Hex

      • Kenneth Kahl, Stefan Edelkamp, Lars Hildebrand
      Pages 382-396

    11. Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks

      • Domingo López-Rodríguez, Enrique Mérida-Casermeiro, Gloria Galán-Marín, Juan M. Ortiz-de-Lazcano-Lobato
      Pages 397-411

    12. A Stochastic Local Search Approach to Vertex Cover

      • Silvia Richter, Malte Helmert, Charles Gretton
      Pages 412-426

  2. Posters

    1. A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game

      • Larbi Abdenebaoui, Elsa A. Kirchner, Yohannes Kassahun, Frank Kirchner
      Pages 427-430

    2. Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology

      • Stefan Artmann
      Pages 431-434

    3. Deep Inference for Automated Proof Tutoring?

      • Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier
      Pages 435-439

    4. Exploiting Past Experience – Case-Based Decision Support for Soccer Agents

      • Ralf Berger, Gregor Lämmel
      Pages 440-443

    5. Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs

      • Stefan Edelkamp, Peter Kissmann
      Pages 444-447

    6. Text Generation in the SmartWeb Multimodal Dialogue System

      • Ralf Engel, Daniel Sonntag
      Pages 448-451

    7. A Method to Optimize the Parameter Selection in Short Term Load Forecasting

      • Humberto F. Ferro, Raul S. Wazlawick, Cláudio M. de Oliveira, Rogério C. Bastos
      Pages 452-455

    8. Visual Robot Localization and Mapping Based on Attentional Landmarks

      • Simone Frintrop
      Pages 456-459
Back to top

Other volumes

  1. KI 2007: Advances in Artificial Intelligence

Keywords

About this book

The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru ¨ck, September 10–13, 2007. In this volume, you will ?nd papers or abstracts of its six invited talks, 25 full papers, and 21 posters. The full papers were selected from 81 submissions, resulting in an acceptance rate of 32%. AsusualataKIconference,anentiredaywasreservedfortargetedworkshops – ten of them this year – and two tutorials. They are not coveredin this volume, but the conference Web sitewww.ki2007.uos.de will keep providing information and references to their contents. Some topic clusters are apparent in the overall conference program, which re?ect recent trends in AI research, convolved with foci of work in Germany and Europe. Examples are learning and data mining, robotics and perception, knowledge representation and reasoning, planning and search – all of them including a healthy number of approaches dealing with uncertainty, contradiction, and incompleteness of knowledge. All in all, KI-2007 provided a cross section of modern AI research and application work. KI-2007 also constituted a “small anniversary,” being the 30th exemplar of its kind. The invited talk by Wolfgang Bibel (accompanied by a paper in this volume) picked up on that occasion by recalling what the ?eld of automated deduction was like 30 and more years ago – in general, and in Germany. He also paid homage to Gerd Veenker, who organizedthe ?rst KI conference (which had a di?erent name at the time) in 1975 and whose ?eld of research was deduction.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation