Invited Talks.- The Role of AI in Shaping Smart Services and Smart Systems.- Early History and Perspectives of Automated Deduction.- Cognitive Technical Systems — What Is the Role of Artificial Intelligence?.- Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural Intelligence?.- Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic.- Location-Based Activity Recognition.- Papers.- Pinpointing in the Description Logic .- Integrating Action Calculi and Description Logics.- Any-World Access to OWL from Prolog.- Applying Logical Constraints to Ontology Matching.- Resolving Inconsistencies in Probabilistic Knowledge Bases.- Extending Markov Logic to Model Probability Distributions in Relational Domains.- A Multilingual Framework for Searching Definitions on Web Snippets.- A SPARQL Semantics Based on Datalog.- Negation in Spatial Reasoning.- Relational Neural Gas.- A General Framework for Encoding and Evolving Neural Networks.- Making a Robot Learn to Play Soccer Using Reward and Punishment.- Perception and Developmental Learning of Affordances in Autonomous Robots.- A Computational Model of Bistable Perception- Attention Dynamics with Long Range Correlations.- On Constructing a Communicative Space in HRI.- Natural Language Descriptions of Human Behavior from Video Sequences.- Detecting Humans in 2D Thermal Images by Generating 3D Models.- Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval.- Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform.- Solving Decentralized Continuous Markov Decision Problems with Structured Reward.- Options in Readylog Reloaded – Generating Decision-Theoretic Plan Libraries in Golog.- On theConstruction and Evaluation of Flexible Plan-Refinement Strategies.- Learning How to Play Hex.- Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks.- A Stochastic Local Search Approach to Vertex Cover.- Posters.- A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game.- Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology.- Deep Inference for Automated Proof Tutoring?.- Exploiting Past Experience – Case-Based Decision Support for Soccer Agents.- Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs.- Text Generation in the SmartWeb Multimodal Dialogue System.- A Method to Optimize the Parameter Selection in Short Term Load Forecasting.- Visual Robot Localization and Mapping Based on Attentional Landmarks.- Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework.- Emotion Based Control Architecture for Robotics Applications.- Inductive Synthesis of Recursive Functional Programs.- Training on the Job — Collecting Experience with Hierarchical Hybrid Automata.- Selecting Users for Sharing Augmented Personal Memories.- Semantic Reflection – Knowledge Based Design of Intelligent Simulation Environments.- Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot.- Improving the Detection of Unknown Computer Worms Activity Using Active Learning.- The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems.- Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy Systems.- LiSA: A Robot Assistant for Life Sciences.- Semantic Graph Visualisation for Mobile Semantic Web Interfaces.- A Qualitative Model forVisibility Relations.