The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru ¨ck, September 10–13, 2007. In this volume, you will ?nd papers or abstracts of its six invited talks, 25 full papers, and 21 posters. The full papers were selected from 81 submissions, resulting in an acceptance rate of 32%. AsusualataKIconference,anentiredaywasreservedfortargetedworkshops – ten of them this year – and two tutorials. They are not coveredin this volume, but the conference Web sitewww.ki2007.uos.de will keep providing information and references to their contents. Some topic clusters are apparent in the overall conference program, which re?ect recent trends in AI research, convolved with foci of work in Germany and Europe. Examples are learning and data mining, robotics and perception, knowledge representation and reasoning, planning and search – all of them including a healthy number of approaches dealing with uncertainty, contradiction, and incompleteness of knowledge. All in all, KI-2007 provided a cross section of modern AI research and application work. KI-2007 also constituted a “small anniversary,” being the 30th exemplar of its kind. The invited talk by Wolfgang Bibel (accompanied by a paper in this volume) picked up on that occasion by recalling what the ?eld of automated deduction was like 30 and more years ago – in general, and in Germany. He also paid homage to Gerd Veenker, who organizedthe ?rst KI conference (which had a di?erent name at the time) in 1975 and whose ?eld of research was deduction.
Author(s): Sahin Albayrak (auth.), Joachim Hertzberg, Michael Beetz, Roman Englert (eds.)
Series: Lecture Notes in Computer Science 4667 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 516
City: Berlin; New York
Tags: Artificial Intelligence (incl. Robotics); Data Mining and Knowledge Discovery; Mathematical Logic and Formal Languages; Language Translation and Linguistics
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 -
