This book constitutes the thoroughly refereed proceedings of the 30th Annual German Conference on Artificial Intelligence, KI 2007, held in Osnabrück, Germany, September 2007. The papers are organized in topical sections on cognition and emotion, semantic Web, analogy, natural language, reasoning, ontologies, spatio-temporal reasoning, machine learning, spatial reasoning, robot learning, classical AI problems, and agents.

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.