Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
This book constitutes the thoroughly refereed proceedings of the 32nd Annual German Conference on Artificial Intelligence, KI 2009, held in Paderborn, Germany, in September 2009.
The 76 revised full papers presented together with 15 posters were carefully reviewed and selected from 126 submissions. The papers are divided in topical sections on planning and scheduling; vision and perception; machine learning and data mining; evolutionary computing; natural language processing; knowledge representation and reasoning; cognition; history and philosophical foundations; AI and engineering; automated reasoning; spatial and temporal reasoning; agents and intelligent virtual environments; experience adn knowledge management; and robotics.
Planning and Scheduling.- Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game.- Planning with h ?+? in Theory and Practice.- A Framework for Interactive Hybrid Planning.- A Memory-Efficient Search Strategy for Multiobjective Shortest Path Problems.- Perfect Hashing for State Spaces in BDD Representation.- On the Benefit of Fusing DL-Reasoning with HTN-Planning.- Flexible Timeline-Based Plan Verification.- Solving Non-deterministic Planning Problems with Pattern Database Heuristics.- An Exploitative Monte-Carlo Poker Agent.- Vision and Perception.- Interaction of Control and Knowledge in a Structural Recognition System.- Attention Speeds Up Visual Information Processing: Selection for Perception or Selection for Action?.- Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells.- Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception.- Fast Hand Detection Using Posture Invariant Constraints.- A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition System.- What You See Is What You Set – The Position of Moving Objects.- Parameter Evolution: A Design Pattern for Active Vision.- Machine Learning and Data Mining.- Clustering Objects from Multiple Collections.- Generalized Clustering via Kernel Embeddings.- Context-Based Clustering of Image Search Results.- Variational Bayes for Generic Topic Models.- Evolutionary Computation.- Surrogate Constraint Functions for CMA Evolution Strategies.- Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm.- A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation.- Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier System.- An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms.- Natural Language Processing.- Semi-automatic Creation of Resources for Spoken Dialog Systems.- Correlating Natural Language Parser Performance with Statistical Measures of the Text.- Comparing Two Approaches for the Recognition of Temporal Expressions.- Meta-level Information Extraction.- Robust Processing of Situated Spoken Dialogue.- iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured Text.- Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework.- SceneMaker: Automatic Visualisation of Screenplays.- Knowledge Representation and Reasoning.- A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.- External Sources of Axioms in Automated Theorem Proving.- Presenting Proofs with Adapted Granularity.- On Defaults in Action Theories.- Analogy, Paralogy and Reverse Analogy: Postulates and Inferences.- Cognition.- Early Clustering Approach towards Modeling of Bottom-Up Visual Attention.- A Formal Cognitive Model of Mathematical Metaphors.- Hierarchical Clustering of Sensorimotor Features.- P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface.- Human Perception Based Counterfeit Detection for Automated Teller Machines.- History and Philosophical Foundations.- Variations of the Turing Test in the Age of Internet and Virtual Reality.- A Structuralistic Approach to Ontologies.- AI Viewed as a “Science of the Culture”.- Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.- Behavioural Congruence in Turing Test-Like Human-Computer Interaction.- AI and Engineering.- Machine Learning Techniques for Selforganizing Combustion Control.- Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production.- Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks.- Fuzzy Numerical Schemes for Hyperbolic Differential Equations.- Model-Based Test Prioritizing – A Comparative Soft-Computing Approach and Case Studies.- Automated Reasoning.- Comparing Unification Algorithms in First-Order Theorem Proving.- Atomic Metadeduction.- Spatial and Temporal Reasoning.- Toward Heterogeneous Cardinal Direction Calculus.- The Scared Robot: Motivations in a Simulated Robot Arm.- Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.- Assessing the Strength of Structural Changes in Cooccurrence Graphs.- Maximum a Posteriori Estimation of Dynamically Changing Distributions.- Agents and Intelligent Virtual Environments.- Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction.- To See and to Be Seen in the Virtual Beer Garden - A Gaze Behavior System for Intelligent Virtual Agents in a 3D Environment.- Requirements and Building Blocks for Sociable Embodied Agents.- Modeling Peripersonal Action Space for Virtual Humans by Learning a Tactile Body Schema.- Hybrid Control for Embodied Agents Applications.- Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation Problems.- Formalizing Joint Attention in Cooperative Interaction with a Virtual Human.- Towards Determining Cooperation Based on Multiple Criteria.- Experience and Knowledge Management.- The SEASALT Architecture and Its Realization within the docQuery Project.- Case Retrieval in Ontology-Based CBR Systems.- Behaviour Monitoring and Interpretation.- Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations.- Robotics.- Self-emerging Action Gestalts for Task Segmentation.- Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMF.- A Manifold Representation as Common Basis for Action Production and Recognition.- Posters.- An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite.- Thresholding for Segmentation and Extraction of Extensive Objects on Digital Images.- Agent-Based Pedestrian Simulation of Train Evacuation Integrating Environmental Data.- An Intelligent Fuzzy Agent for Spatial Reasoning in GIS.- Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm.- Heuristics for Resolution in Propositional Logic.- Context-Aware Service Discovery Using Case-Based Reasoning Methods.- Forward Chaining Algorithm for Solving the Shortest Path Problem in Arbitrary Deterministic Environment in Linear Time - Applied for the Tower of Hanoi Problem.- Early Top-Down Influences in Control of Attention: Evidence from the Attentional Blink.- Probabilistic Models for the Verification of Human-Computer Interaction.- HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata.- Building Geospatial Data Collections with Location-Based Games.- Design Principles for Embodied Interaction: The Case of Ubiquitous Computing.- Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated Annealing.- Stochastic Feature Selection in Support Vector Machine Based Instrument Recognition.