KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings

Front Matter....Pages -
The Role of AI in Shaping Smart Services and Smart Systems....Pages 1-1
Early History and Perspectives of Automated Deduction....Pages 2-18
Cognitive Technical Systems — What Is the Role of Artificial Intelligence?....Pages 19-42
Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural Intelligence?....Pages 43-43
Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic....Pages 44-50
Location-Based Activity Recognition....Pages 51-51
Pinpointing in the Description Logic $\mathcal {EL}^+$ ....Pages 52-67
Integrating Action Calculi and Description Logics....Pages 68-83
Any-World Access to OWL from Prolog....Pages 84-98
Applying Logical Constraints to Ontology Matching....Pages 99-113
Resolving Inconsistencies in Probabilistic Knowledge Bases....Pages 114-128
Extending Markov Logic to Model Probability Distributions in Relational Domains....Pages 129-143
A Multilingual Framework for Searching Definitions on Web Snippets....Pages 144-159
A SPARQL Semantics Based on Datalog....Pages 160-174
Negation in Spatial Reasoning....Pages 175-189
Relational Neural Gas....Pages 190-204
A General Framework for Encoding and Evolving Neural Networks....Pages 205-219
Making a Robot Learn to Play Soccer Using Reward and Punishment....Pages 220-234
Perception and Developmental Learning of Affordances in Autonomous Robots....Pages 235-250
A Computational Model of Bistable Perception- Attention Dynamics with Long Range Correlations....Pages 251-263
On Constructing a Communicative Space in HRI....Pages 264-278
Natural Language Descriptions of Human Behavior from Video Sequences....Pages 279-292
Detecting Humans in 2D Thermal Images by Generating 3D Models....Pages 293-307
Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval....Pages 308-322
Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform....Pages 323-336
Solving Decentralized Continuous Markov Decision Problems with Structured Reward....Pages 337-351
Options in Readylog Reloaded – Generating Decision-Theoretic Plan Libraries in Golog....Pages 352-366
On the Construction and Evaluation of Flexible Plan-Refinement Strategies....Pages 367-381
Learning How to Play Hex....Pages 382-396
Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks....Pages 397-411
A Stochastic Local Search Approach to Vertex Cover....Pages 412-426
A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game....Pages 427-430
Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology....Pages 431-434
Deep Inference for Automated Proof Tutoring?....Pages 435-439
Exploiting Past Experience – Case-Based Decision Support for Soccer Agents....Pages 440-443
Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs....Pages 444-447
Text Generation in the SmartWeb Multimodal Dialogue System....Pages 448-451
A Method to Optimize the Parameter Selection in Short Term Load Forecasting....Pages 452-455
Visual Robot Localization and Mapping Based on Attentional Landmarks....Pages 456-459
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework....Pages 460-463
Emotion Based Control Architecture for Robotics Applications....Pages 464-467
Inductive Synthesis of Recursive Functional Programs....Pages 468-472
Training on the Job — Collecting Experience with Hierarchical Hybrid Automata....Pages 473-476
Selecting Users for Sharing Augmented Personal Memories....Pages 477-480
Semantic Reflection – Knowledge Based Design of Intelligent Simulation Environments....Pages 481-484
Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot....Pages 485-488
Improving the Detection of Unknown Computer Worms Activity Using Active Learning....Pages 489-493
The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems....Pages 494-497
Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy Systems....Pages 498-501
LiSA: A Robot Assistant for Life Sciences....Pages 502-505
Semantic Graph Visualisation for Mobile Semantic Web Interfaces....Pages 506-509
A Qualitative Model for Visibility Relations....Pages 510-513
Back Matter....Pages -