Skip to main content
SpringerLink
Log in
Book cover

KI 2012: Advances in Artificial Intelligence

35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Birte Glimm

    1. Institute of Artificial Intelligence, University of Ulm, Ulm, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Antonio Krüger

    1. Saarland University and German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: KI 2012.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
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 (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Long Papers

    1. Verification of Behaviour Networks Using Finite-State Automata

      • Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
      Pages 1-12

    2. Formal Semantics of Model Fields in Annotation-Based Specifications

      • Bernhard Beckert, Daniel Bruns
      Pages 13-24

    3. Searching with Partial Belief States in General Games with Incomplete Information

      • Stefan Edelkamp, Tim Federholzner, Peter Kissmann
      Pages 25-36

    4. A Machine-Learning Framework for Hybrid Machine Translation

      • Christian Federmann
      Pages 37-48

    5. Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals

      • Marc Finthammer, Christoph Beierle
      Pages 49-60

    6. Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People

      • Ben Hennig, Norbert Reithinger
      Pages 61-72

    7. PAC-Learning with General Class Noise Models

      • Shahin Jabbari, Robert C. Holte, Sandra Zilles
      Pages 73-84

    8. Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning

      • Jens Kessler, Jürgen Strobel, Horst-Michael Gross
      Pages 85-96

    9. Unsupervised Nearest Neighbors with Kernels

      • Oliver Kramer
      Pages 97-106

    10. A Compact Encoding of Pseudo-Boolean Constraints into SAT

      • Steffen Hölldobler, Norbert Manthey, Peter Steinke
      Pages 107-118

    11. Small Talk Is More than Chit-Chat

      • Nikita Mattar, Ipke Wachsmuth
      Pages 119-130

    12. Clustering Based on Density Estimation with Sparse Grids

      • Benjamin Peherstorfer, Dirk Pflüger, Hans-Joachim Bungartz
      Pages 131-142

    13. A Comparison between Cognitive and AI Models of Blackjack Strategy Learning

      • Marvin R. G. Schiller, Fernand R. Gobet
      Pages 143-155

    14. Plan Recognition by Program Execution in Continuous Temporal Domains

      • Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer
      Pages 156-167

    15. Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data

      • Christian Vollmer, Julian P. Eggert, Horst-Michael Gross
      Pages 168-179

    16. Nogoods in Qualitative Constraint-Based Reasoning

      • Matthias Westphal, Julien Hué
      Pages 180-192

    17. Stochastic Gradient Descent with GPGPU

      • David Zastrau, Stefan Edelkamp
      Pages 193-204

    18. Improved Query Suggestion by Query Search

      • Xiaomin Zhang, Sandra Zilles, Robert C. Holte
      Pages 205-216

    19. Knowledge-Base Revision Using Implications as Hypotheses

      • Özgür Lütfü Özçep
      Pages 217-228
Back to top

Other volumes

  1. KI 2012: Advances in Artificial Intelligence

Keywords

About this book

This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2012, held in Saarbrücken, Germany, in September 2012.
The 19 revised full papers presented together with 9 short papers were carefully reviewed and selected from 57 submissions. The papers contain research results on theory and applicaiton of all aspects of AI.

Editors and Affiliations

  • Institute of Artificial Intelligence, University of Ulm, Ulm, Germany

    Birte Glimm

  • Saarland University and German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany

    Antonio Krüger

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation