Table of Contents

• Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General GamePeter Kissmann, Stefan Edelkamp. 1-8 [doi]
• Planning with ::::h::::::: + ::: in Theory and PracticeChristoph Betz, Malte Helmert. 9-16 [doi]
• A Framework for Interactive Hybrid PlanningBernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo. 17-24 [doi]
• A Memory-Efficient Search Strategy for Multiobjective Shortest Path ProblemsLawrence Mandow, José-Luis Pérez-de-la-Cruz. 25-32 [doi]
• Perfect Hashing for State Spaces in BDD RepresentationMartin Dietzfelbinger, Stefan Edelkamp. 33-40 [doi]
• On the Benefit of Fusing DL-Reasoning with HTN-PlanningRonny Hartanto, Joachim Hertzberg. 41-48 [doi]
• Flexible Timeline-Based Plan VerificationAmedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci. 49-56 [doi]
• Solving Non-deterministic Planning Problems with Pattern Database HeuristicsPascal Bercher, Robert Mattmüller. 57-64 [doi]
• An Exploitative Monte-Carlo Poker AgentImmanuel Schweizer, Kamill Panitzek, Sang-Hyeun Park, Johannes Fürnkranz. 65-72 [doi]
• Interaction of Control and Knowledge in a Structural Recognition SystemEckart Michaelsen, Michael Arens, Leo J. Doktorski. 73-80 [doi]
• Attention Speeds Up Visual Information Processing: Selection for Perception or Selection for Action?Katharina Weiß, Ingrid Scharlau. 81-88 [doi]
• Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier CellsM. Salah E.-N. Shafik, Bärbel Mertsching. 89-96 [doi]
• Occlusion as a Monocular Depth Cue Derived from Illusory Contour PerceptionMarcus Hund, Bärbel Mertsching. 97-105 [doi]
• Fast Hand Detection Using Posture Invariant ConstraintsNils Petersen, Didier Stricker. 106-113 [doi]
• A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition SystemAmir Azizi, Hamid Reza Pourreza. 114-122 [doi]
• What You See Is What You Set - The Position of Moving ObjectsHeinz-Werner Priess, Ingrid Scharlau. 123-127 [doi]
• Parameter Evolution: A Design Pattern for Active VisionMichael Müller, Dennis Senftleben, Josef Pauli. 128-135 [doi]
• Clustering Objects from Multiple CollectionsVera Hollink, Maarten van Someren, Viktor de Boer. 136-143 [doi]
• Generalized Clustering via Kernel EmbeddingsStefanie Jegelka, Arthur Gretton, Bernhard Schölkopf, Bharath K. Sriperumbudur, Ulrike von Luxburg. 144-152 [doi]
• Context-Based Clustering of Image Search ResultsHongqi Wang, Olana Missura, Thomas Gärtner, Stefan Wrobel. 153-160 [doi]
• Variational Bayes for Generic Topic ModelsGregor Heinrich, Michael Goesele. 161-168 [doi]
• Surrogate Constraint Functions for CMA Evolution StrategiesOliver Kramer, André Barthelmes, Günter Rudolph. 169-176 [doi]
• Rake Selection: A Novel Evolutionary Multi-Objective Optimization AlgorithmOliver Kramer, Patrick Koch. 177-184 [doi]
• A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm OptimisationMaik Günther, Volker Nissen. 185-192 [doi]
• Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier SystemPatrick O. Stalph, Martin V. Butz, Gerulf K. M. Pedersen. 193-200 [doi]
• An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary AlgorithmsHauke Tönnies. 201-208 [doi]
• Semi-automatic Creation of Resources for Spoken Dialog SystemsTatjana Scheffler, Roland Roller, Norbert Reithinger. 209-216 [doi]
• Correlating Natural Language Parser Performance with Statistical Measures of the TextYi Zhang, Rui Wang. 217-224 [doi]
• Comparing Two Approaches for the Recognition of Temporal ExpressionsOleksandr Kolomiyets, Marie-Francine Moens. 225-232 [doi]
• Meta-level Information ExtractionPeter Klügl, Martin Atzmueller, Frank Puppe. 233-240 [doi]
• Robust Processing of Situated Spoken DialoguePierre Lison, Geert-Jan M. Kruijff. 241-248 [doi]
• iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured TextBenjamin Adrian, Jörn Hees, Ludger van Elst, Andreas Dengel. 249-256 [doi]
• Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic FrameworkJohn Lipinski, Yulia Sandamirskaya, Gregor Schöner. 257-264 [doi]
• SceneMaker: Automatic Visualisation of ScreenplaysEva Hanser, Paul McKevitt, Tom Lunney, Joan Condell. 265-272 [doi]
• A Conceptual Agent Model Based on a Uniform Approach to Various Belief OperationsChristoph Beierle, Gabriele Kern-Isberner. 273-280 [doi]
• External Sources of Axioms in Automated Theorem ProvingMartin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo. 281-288 [doi]
• Presenting Proofs with Adapted GranularityMarvin Schiller, Christoph Benzmüller. 289-297 [doi]
• On Defaults in Action TheoriesHannes Strass, Michael Thielscher. 298-305 [doi]
• Analogy, Paralogy and Reverse Analogy: Postulates and InferencesHenri Prade, Gilles Richard. 306-314 [doi]
• Early Clustering Approach towards Modeling of Bottom-Up Visual AttentionMuhammad Zaheer Aziz, Bärbel Mertsching. 315-322 [doi]
• A Formal Cognitive Model of Mathematical MetaphorsMarkus Guhe, Alan Smaill, Alison Pease. 323-330 [doi]
• Hierarchical Clustering of Sensorimotor FeaturesKonrad Gadzicki. 331-338 [doi]
• P300 Detection Based on Feature Extraction in On-line Brain-Computer InterfaceNikolay Chumerin, Nikolay V. Manyakov, Adrien Combaz, Johan A. K. Suykens, Refet Firat Yazicioglu, Tom Torfs, Patrick Merken, Herc P. Neves, Chris Van Hoof, Marc M. Van Hulle. 339-346 [doi]
• Human Perception Based Counterfeit Detection for Automated Teller MachinesTaswar Iqbal, Volker Lohweg, Dinh Khoi Le, Michael Nolte. 347-354 [doi]
• Variations of the Turing Test in the Age of Internet and Virtual RealityFlorentin Neumann, Andrea Reichenberger, Martin Ziegler. 355-362 [doi]
• A Structuralistic Approach to OntologiesChristian Schäufler, Stefan Artmann, Clemens Beckstein. 363-370 [doi]
• AI Viewed as a Science of the Culture Jean-Gabriel Ganascia. 371-378 [doi]
• Beyond Public Announcement Logic: An Alternative Approach to Some AI PuzzlesPawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz. 379-386 [doi]
• Behavioural Congruence in Turing Test-Like Human-Computer InteractionStefan Artmann. 387-394 [doi]
• Machine Learning Techniques for Selforganizing Combustion ControlErik Schaffernicht, Volker Stephan, Klaus Debes, Horst-Michael Gross. 395-402 [doi]
• Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous ProductionPaul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn. 403-410 [doi]
• Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural NetworksFalk Langer, Dirk Eilers, Rudi Knorr. 411-418 [doi]
• Fuzzy Numerical Schemes for Hyperbolic Differential EquationsMichael Breuß, Dominik Dietrich. 419-426 [doi]
• Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case StudiesFevzi Belli, Mubariz Eminov, Nida Gökçe. 427-434 [doi]
• Comparing Unification Algorithms in First-Order Theorem ProvingKrystof Hoder, Andrei Voronkov. 435-443 [doi]
• Atomic MetadeductionSerge Autexier, Dominik Dietrich. 444-451 [doi]
• Toward Heterogeneous Cardinal Direction CalculusYohei Kurata, Hui Shi. 452-459 [doi]
• The Scared Robot: Motivations in a Simulated Robot ArmMartin V. Butz, Gerulf K. M. Pedersen. 460-467 [doi]
• Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative ReasoningFlorian Pommerening, Stefan Wölfl, Matthias Westphal. 468-475 [doi]
• Assessing the Strength of Structural Changes in Cooccurrence GraphsMatthias Steinbrecher, Rudolf Kruse. 476-483 [doi]
• Maximum a Posteriori Estimation of Dynamically Changing DistributionsMichael Volkhardt, Sören Kalesse, Steffen Müller, Horst-Michael Gross. 484-491 [doi]
• Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical InteractionHeni Ben Amor, Erik Berger, David Vogt, Bernhard Jung. 492-499 [doi]
• To See and to Be Seen in the Virtual Beer Garden - A Gaze Behavior System for Intelligent Virtual Agents in a 3D EnvironmentMichael Wissner, Nikolaus Bee, Julian Kienberger, Elisabeth André. 500-507 [doi]
• Requirements and Building Blocks for Sociable Embodied AgentsStefan Kopp, Kirsten Bergmann, Hendrik Buschmeier, Amir Sadeghipour. 508-515 [doi]
• Modeling Peripersonal Action Space for Virtual Humans by Learning a Tactile Body SchemaNhung Nguyen, Ipke Wachsmuth. 516-523 [doi]
• Hybrid Control for Embodied Agents ApplicationsJan Miksatko, Michael Kipp. 524-531 [doi]
• Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation ProblemsGregor Lämmel, Gunnar Flötteröd. 532-539 [doi]
• Formalizing Joint Attention in Cooperative Interaction with a Virtual HumanNadine Pfeiffer-Leßmann, Ipke Wachsmuth. 540-547 [doi]
• Towards Determining Cooperation Based on Multiple CriteriaMarkus Eberling. 548-555 [doi]
• The SEASALT Architecture and Its Realization within the docQuery ProjectMeike Reichle, Kerstin Bach, Klaus-Dieter Althoff. 556-563 [doi]
• Case Retrieval in Ontology-Based CBR SystemsAmjad Abou Assali, Dominique Lenne, Bruno Debray. 564-571 [doi]
• Behaviour Monitoring and InterpretationBjörn Gottfried. 572-580 [doi]
• Automatic Recognition and Interpretation of Pen- and Paper-Based Document AnnotationsMarcus Liwicki, Markus Weber, Andreas Dengel. 581-588 [doi]
• Self-emerging Action Gestalts for Task SegmentationMichael Pardowitz, Jan Steffen, Helge Ritter. 589-596 [doi]
• Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMFJulian Eggert, Sven Hellbach, Alexander Kolarow, Edgar Körner, Horst-Michael Gross. 597-606 [doi]
• A Manifold Representation as Common Basis for Action Production and RecognitionJan Steffen, Michael Pardowitz, Helge Ritter. 607-614 [doi]
• An Argumentation-Based Approach to Handling Inconsistencies in DL-LiteXiaowang Zhang, Zuoquan Lin. 615-622 [doi]
• Thresholding for Segmentation and Extraction of Extensive Objects on Digital ImagesVladimir Volkov. 623-630 [doi]
• Agent-Based Pedestrian Simulation of Train Evacuation Integrating Environmental DataFranziska Klügl, Georg Klubertanz, Guido Rindsfüser. 631-638 [doi]
• An Intelligent Fuzzy Agent for Spatial Reasoning in GISRouzbeh Shad, Mohammad Saadi Mesgari, Hamid Ebadi, Abbas Alimohammadi, Aliakbar Abkar, Alireza Vafaeinezhad. 639-647 [doi]
• Learning Parametrised RoboCup Rescue Agent Behaviour Using an Evolutionary AlgorithmMichael Kruse, Michael Baumann, Tobias Knieper, Christoph Seipel, Lial Khaluf, Nico Lehmann, Alex Lermontow, Christian Messinger, Simon Richter, Thomas Schmidt, Daniel Swars. 648-655 [doi]
• Heuristics for Resolution in Propositional LogicManfred Kerber. 656-663 [doi]
• Context-Aware Service Discovery Using Case-Based Reasoning MethodsMarkus Weber, Thomas Roth-Berghofer, Volker Hudlet, Heiko Maus, Andreas Dengel. 664-671 [doi]
• Forward Chaining Algorithm for Solving the Shortest Path Problem in Arbitrary Deterministic Environment in Linear Time - Applied for the Tower of Hanoi ProblemSilvana Petruseva. 672-679 [doi]
• Early Top-Down Influences in Control of Attention: Evidence from the Attentional BlinkFrederic Hilkenmeier, Jan Tünnermann, Ingrid Scharlau. 680-686 [doi]
• Probabilistic Models for the Verification of Human-Computer InteractionBernhard Beckert, Markus Wagner. 687-694 [doi]
• HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid AutomataAmmar Mohammed, Christian Schwarz. 695-702 [doi]
• Building Geospatial Data Collections with Location-Based GamesSebastian Matyas, Peter Wullinger, Christian Matyas. 703-710 [doi]
• Design Principles for Embodied Interaction: The Case of Ubiquitous ComputingRainer Malaka, Robert Porzel. 711-718 [doi]
• Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated AnnealingAmer Farhan Rafique, He Linshu, Qasim Zeeshan, Ali Kamran. 719-726 [doi]
• Stochastic Feature Selection in Support Vector Machine Based Instrument RecognitionOliver Kramer, Tobias Hein. 727-734 [doi]