KI 2009: Advances in Artificial Intelligence

On the Benefit of Fusing DL-Reasoning with HTN-Planning

Pages 41-48

Hartanto, Ronny (et al.)

Flexible Timeline-Based Plan Verification

Pages 49-56

Cesta, A. (et al.)

Solving Non-deterministic Planning Problems with Pattern Database Heuristics

Pages 57-64

Bercher, Pascal (et al.)

An Exploitative Monte-Carlo Poker Agent

Pages 65-72

Schweizer, Immanuel (et al.)

Interaction of Control and Knowledge in a Structural Recognition System

Pages 73-80

Michaelsen, Eckart (et al.)

Attention Speeds Up Visual Information Processing: Selection for Perception or Selection for Action?

Pages 81-88

Weiß, Katharina (et al.)

Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells

Pages 89-96

Shafik, M. Salah E. -N. (et al.)

Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception

Pages 97-105

Hund, Marcus (et al.)

Fast Hand Detection Using Posture Invariant Constraints

Pages 106-113

Petersen, Nils (et al.)

A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition System

Pages 114-122

Azizi, Amir (et al.)

What You See Is What You Set – The Position of Moving Objects

Pages 123-127

Priess, Heinz-Werner (et al.)

Parameter Evolution: A Design Pattern for Active Vision

Pages 128-135

Müller, Michael (et al.)

Clustering Objects from Multiple Collections

Pages 136-143

Hollink, Vera (et al.)

Generalized Clustering via Kernel Embeddings

Pages 144-152

Jegelka, Stefanie (et al.)

Context-Based Clustering of Image Search Results

Pages 153-160

Wang, Hongqi (et al.)

Variational Bayes for Generic Topic Models

Pages 161-168

Heinrich, Gregor (et al.)

Surrogate Constraint Functions for CMA Evolution Strategies

Pages 169-176

Kramer, Oliver (et al.)

Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm

Pages 177-184

Kramer, Oliver (et al.)

A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation

Pages 185-192

Günther, Maik (et al.)

Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier System

Pages 193-200

Stalph, Patrick O. (et al.)

An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms

Pages 201-208

Tönnies, Hauke

Semi-automatic Creation of Resources for Spoken Dialog Systems

Pages 209-216

Scheffler, Tatjana (et al.)

Correlating Natural Language Parser Performance with Statistical Measures of the Text

Pages 217-224

Zhang, Yi (et al.)

Comparing Two Approaches for the Recognition of Temporal Expressions

Pages 225-232

Kolomiyets, Oleksandr (et al.)

Meta-level Information Extraction

Pages 233-240

Kluegl, Peter (et al.)

Robust Processing of Situated Spoken Dialogue

Pages 241-248

Lison, Pierre (et al.)

iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured Text

Pages 249-256

Adrian, Benjamin (et al.)

Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework

Pages 257-264

Lipinski, John (et al.)

SceneMaker: Automatic Visualisation of Screenplays

Pages 265-272

Hanser, Eva (et al.)

A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations

Pages 273-280

Beierle, Christoph (et al.)

External Sources of Axioms in Automated Theorem Proving

Pages 281-288

Suda, Martin (et al.)

Presenting Proofs with Adapted Granularity

Pages 289-297

Schiller, Marvin (et al.)

On Defaults in Action Theories

Pages 298-305

Strass, Hannes (et al.)

Analogy, Paralogy and Reverse Analogy: Postulates and Inferences

Pages 306-314

Prade, Henri (et al.)

Early Clustering Approach towards Modeling of Bottom-Up Visual Attention

Pages 315-322

Aziz, Muhammad Zaheer (et al.)

A Formal Cognitive Model of Mathematical Metaphors

Pages 323-330

Guhe, Markus (et al.)

Hierarchical Clustering of Sensorimotor Features

Pages 331-338

Gadzicki, Konrad

P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface

Pages 339-346

Chumerin, Nikolay (et al.)

Human Perception Based Counterfeit Detection for Automated Teller Machines

Pages 347-354

Iqbal, Taswar (et al.)

Variations of the Turing Test in the Age of Internet and Virtual Reality

Pages 355-362

Neumann, Florentin (et al.)

A Structuralistic Approach to Ontologies

Pages 363-370

Schäufler, Christian (et al.)

AI Viewed as a “Science of the Culture”

Pages 371-378

Ganascia, Jean-Gabriel

Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles

Pages 379-386

Garbacz, Paweł (et al.)

Behavioural Congruence in Turing Test-Like Human-Computer Interaction

Pages 387-394

Artmann, Stefan

Machine Learning Techniques for Selforganizing Combustion Control

Pages 395-402

Schaffernicht, Erik (et al.)

Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production

Pages 403-410

Maier, Paul (et al.)

Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks

Pages 411-418

Langer, Falk (et al.)

Fuzzy Numerical Schemes for Hyperbolic Differential Equations

Pages 419-426

Breuss, Michael (et al.)

Model-Based Test Prioritizing – A Comparative Soft-Computing Approach and Case Studies

Pages 427-434

Belli, Fevzi (et al.)

Comparing Unification Algorithms in First-Order Theorem Proving

Pages 435-443

Hoder, Kryštof (et al.)

Atomic Metadeduction

Pages 444-451

Autexier, Serge (et al.)

Toward Heterogeneous Cardinal Direction Calculus

Pages 452-459

Kurata, Yohei (et al.)

The Scared Robot: Motivations in a Simulated Robot Arm

Pages 460-467

Butz, Martin V. (et al.)

Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning

Pages 468-475

Pommerening, Florian (et al.)

Assessing the Strength of Structural Changes in Cooccurrence Graphs

Pages 476-483

Steinbrecher, Matthias (et al.)

Maximum a Posteriori Estimation of Dynamically Changing Distributions

Pages 484-491

Volkhardt, Michael (et al.)

Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction

Pages 492-499

Amor, Heni (et al.)

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

Wissner, Michael (et al.)

Requirements and Building Blocks for Sociable Embodied Agents

Pages 508-515

Kopp, Stefan (et al.)

Modeling Peripersonal Action Space for Virtual Humans by Learning a Tactile Body Schema

Pages 516-523

Nguyen, Nhung (et al.)

Hybrid Control for Embodied Agents Applications

Pages 524-531

Miksatko, Jan (et al.)

Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation Problems

Pages 532-539

Lämmel, Gregor (et al.)

Formalizing Joint Attention in Cooperative Interaction with a Virtual Human

Pages 540-547

Pfeiffer-Leßmann, Nadine (et al.)

Towards Determining Cooperation Based on Multiple Criteria

Pages 548-555

Eberling, Markus

The SEASALT Architecture and Its Realization within the docQuery Project

Pages 556-563

Reichle, Meike (et al.)

Case Retrieval in Ontology-Based CBR Systems

Pages 564-571

Abou Assali, Amjad (et al.)

Behaviour Monitoring and Interpretation

Pages 572-580

Gottfried, Björn

Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations

Pages 581-588

Liwicki, Marcus (et al.)

Self-emerging Action Gestalts for Task Segmentation

Pages 589-596

Pardowitz, Michael (et al.)

Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMF

Pages 597-606

Eggert, Julian P. (et al.)

A Manifold Representation as Common Basis for Action Production and Recognition

Pages 607-614

Steffen, Jan (et al.)

An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite

Pages 615-622

Zhang, Xiaowang (et al.)

Thresholding for Segmentation and Extraction of Extensive Objects on Digital Images

Pages 623-630

Volkov, Vladimir

Agent-Based Pedestrian Simulation of Train Evacuation Integrating Environmental Data

Pages 631-638

Klügl, Franziska (et al.)

An Intelligent Fuzzy Agent for Spatial Reasoning in GIS

Pages 639-647

Shad, Rouzbeh (et al.)

Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary Algorithm

Pages 648-655

Kruse, Michael (et al.)

Heuristics for Resolution in Propositional Logic

Pages 656-663

Kerber, Manfred

Context-Aware Service Discovery Using Case-Based Reasoning Methods

Pages 664-671

Weber, Markus (et al.)

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

Petruseva, Silvana

Early Top-Down Influences in Control of Attention: Evidence from the Attentional Blink

Pages 680-686

Hilkenmeier, Frederic (et al.)

Probabilistic Models for the Verification of Human-Computer Interaction

Pages 687-694

Beckert, Bernhard (et al.)

HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata

Pages 695-702

Mohammed, Ammar (et al.)

Building Geospatial Data Collections with Location-Based Games

Pages 703-710

Matyas, Sebastian (et al.)

Design Principles for Embodied Interaction: The Case of Ubiquitous Computing

Pages 711-718

Malaka, Rainer (et al.)

Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated Annealing

Pages 719-726

Rafique, Amer Farhan (et al.)

Stochastic Feature Selection in Support Vector Machine Based Instrument Recognition

Pages 727-734

Kramer, Oliver (et al.)