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

Front Matter....Pages -
Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game....Pages 1-8
Planning with h  +  in Theory and Practice....Pages 9-16
A Framework for Interactive Hybrid Planning....Pages 17-24
A Memory-Efficient Search Strategy for Multiobjective Shortest Path Problems....Pages 25-32
Perfect Hashing for State Spaces in BDD Representation....Pages 33-40
On the Benefit of Fusing DL-Reasoning with HTN-Planning....Pages 41-48
Flexible Timeline-Based Plan Verification....Pages 49-56
Solving Non-deterministic Planning Problems with Pattern Database Heuristics....Pages 57-64
An Exploitative Monte-Carlo Poker Agent....Pages 65-72
Interaction of Control and Knowledge in a Structural Recognition System....Pages 73-80
Attention Speeds Up Visual Information Processing: Selection for Perception or Selection for Action?....Pages 81-88
Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells....Pages 89-96
Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception....Pages 97-105
Fast Hand Detection Using Posture Invariant Constraints....Pages 106-113
A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition System....Pages 114-122
What You See Is What You Set – The Position of Moving Objects....Pages 123-127
Parameter Evolution: A Design Pattern for Active Vision....Pages 128-135
Clustering Objects from Multiple Collections....Pages 136-143
Generalized Clustering via Kernel Embeddings....Pages 144-152
Context-Based Clustering of Image Search Results....Pages 153-160
Variational Bayes for Generic Topic Models....Pages 161-168
Surrogate Constraint Functions for CMA Evolution Strategies....Pages 169-176
Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm....Pages 177-184
A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation....Pages 185-192
Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier System....Pages 193-200
An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms....Pages 201-208
Semi-automatic Creation of Resources for Spoken Dialog Systems....Pages 209-216
Correlating Natural Language Parser Performance with Statistical Measures of the Text....Pages 217-224
Comparing Two Approaches for the Recognition of Temporal Expressions....Pages 225-232
Meta-level Information Extraction....Pages 233-240
Robust Processing of Situated Spoken Dialogue....Pages 241-248
iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured Text....Pages 249-256
Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework....Pages 257-264
SceneMaker: Automatic Visualisation of Screenplays....Pages 265-272
A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations....Pages 273-280
External Sources of Axioms in Automated Theorem Proving....Pages 281-288
Presenting Proofs with Adapted Granularity....Pages 289-297
On Defaults in Action Theories....Pages 298-305
Analogy, Paralogy and Reverse Analogy: Postulates and Inferences....Pages 306-314
Early Clustering Approach towards Modeling of Bottom-Up Visual Attention....Pages 315-322
A Formal Cognitive Model of Mathematical Metaphors....Pages 323-330
Hierarchical Clustering of Sensorimotor Features....Pages 331-338
P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface....Pages 339-346
Human Perception Based Counterfeit Detection for Automated Teller Machines....Pages 347-354
Variations of the Turing Test in the Age of Internet and Virtual Reality....Pages 355-362
A Structuralistic Approach to Ontologies....Pages 363-370
AI Viewed as a “Science of the Culture”....Pages 371-378
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles....Pages 379-386
Behavioural Congruence in Turing Test-Like Human-Computer Interaction....Pages 387-394
Machine Learning Techniques for Selforganizing Combustion Control....Pages 395-402
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production....Pages 403-410
Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks....Pages 411-418
Fuzzy Numerical Schemes for Hyperbolic Differential Equations....Pages 419-426
Model-Based Test Prioritizing – A Comparative Soft-Computing Approach and Case Studies....Pages 427-434
Comparing Unification Algorithms in First-Order Theorem Proving....Pages 435-443
Atomic Metadeduction....Pages 444-451
Toward Heterogeneous Cardinal Direction Calculus....Pages 452-459
The Scared Robot: Motivations in a Simulated Robot Arm....Pages 460-467
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning....Pages 468-475
Assessing the Strength of Structural Changes in Cooccurrence Graphs....Pages 476-483
Maximum a Posteriori Estimation of Dynamically Changing Distributions....Pages 484-491
Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction....Pages 492-499
To See and to Be Seen in the Virtual Beer Garden - A Gaze Behavior System for Intelligent Virtual Agents in a 3D Environment....Pages 500-507
Requirements and Building Blocks for Sociable Embodied Agents....Pages 508-515
Modeling Peripersonal Action Space for Virtual Humans by Learning a Tactile Body Schema....Pages 516-523
Hybrid Control for Embodied Agents Applications....Pages 524-531
Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation Problems....Pages 532-539
Formalizing Joint Attention in Cooperative Interaction with a Virtual Human....Pages 540-547
Towards Determining Cooperation Based on Multiple Criteria....Pages 548-555
The SEASALT Architecture and Its Realization within the docQuery Project....Pages 556-563
Case Retrieval in Ontology-Based CBR Systems....Pages 564-571
Behaviour Monitoring and Interpretation....Pages 572-580
Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations....Pages 581-588
Self-emerging Action Gestalts for Task Segmentation....Pages 589-596
Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMF....Pages 597-606
A Manifold Representation as Common Basis for Action Production and Recognition....Pages 607-614
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite....Pages 615-622
Thresholding for Segmentation and Extraction of Extensive Objects on Digital Images....Pages 623-630
Agent-Based Pedestrian Simulation of Train Evacuation Integrating Environmental Data....Pages 631-638
An Intelligent Fuzzy Agent for Spatial Reasoning in GIS....Pages 639-647
Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm....Pages 648-655
Heuristics for Resolution in Propositional Logic....Pages 656-663
Context-Aware Service Discovery Using Case-Based Reasoning Methods....Pages 664-671
Forward Chaining Algorithm for Solving the Shortest Path Problem in Arbitrary Deterministic Environment in Linear Time - Applied for the Tower of Hanoi Problem....Pages 672-679
Early Top-Down Influences in Control of Attention: Evidence from the Attentional Blink....Pages 680-686
Probabilistic Models for the Verification of Human-Computer Interaction....Pages 687-694
HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata....Pages 695-702
Building Geospatial Data Collections with Location-Based Games....Pages 703-710
Design Principles for Embodied Interaction: The Case of Ubiquitous Computing....Pages 711-718
Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated Annealing....Pages 719-726
Stochastic Feature Selection in Support Vector Machine Based Instrument Recognition....Pages 727-734
Back Matter....Pages -