KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings

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.