Skip to main content
  • Conference proceedings
  • © 2012

KI 2012: Advances in Artificial Intelligence

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

  • 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)

Conference series link(s): KI: German Conference on Artificial Intelligence (Künstliche Intelligenz)

Conference proceedings info: KI 2012.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33347-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 72.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

  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. PAC-Learning with General Class Noise Models

      • Shahin Jabbari, Robert C. Holte, Sandra Zilles
      Pages 73-84
    5. Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning

      • Jens Kessler, Jürgen Strobel, Horst-Michael Gross
      Pages 85-96
    6. Unsupervised Nearest Neighbors with Kernels

      • Oliver Kramer
      Pages 97-106
    7. A Compact Encoding of Pseudo-Boolean Constraints into SAT

      • Steffen Hölldobler, Norbert Manthey, Peter Steinke
      Pages 107-118
    8. Small Talk Is More than Chit-Chat

      • Nikita Mattar, Ipke Wachsmuth
      Pages 119-130
    9. Clustering Based on Density Estimation with Sparse Grids

      • Benjamin Peherstorfer, Dirk Pflüger, Hans-Joachim Bungartz
      Pages 131-142
    10. A Comparison between Cognitive and AI Models of Blackjack Strategy Learning

      • Marvin R. G. Schiller, Fernand R. Gobet
      Pages 143-155
    11. Plan Recognition by Program Execution in Continuous Temporal Domains

      • Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer
      Pages 156-167
    12. 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
    13. Nogoods in Qualitative Constraint-Based Reasoning

      • Matthias Westphal, Julien Hué
      Pages 180-192
    14. Stochastic Gradient Descent with GPGPU

      • David Zastrau, Stefan Edelkamp
      Pages 193-204
    15. Improved Query Suggestion by Query Search

      • Xiaomin Zhang, Sandra Zilles, Robert C. Holte
      Pages 205-216
    16. Knowledge-Base Revision Using Implications as Hypotheses

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

Other Volumes

  1. KI 2012: Advances in Artificial Intelligence

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

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.

Keywords

  • clustering
  • human motion
  • machine learning
  • modeling
  • semantics

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

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33347-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 72.00
Price excludes VAT (USA)