KI 2007: Advances in Artificial Intelligence

1. Front Matter

   PDF

2. Invited Talks

   1. The Role of AI in Shaping Smart Services and Smart Systems

      • Sahin Albayrak

      Pages 1-1

   2. Early History and Perspectives of Automated Deduction

      • Wolfgang Bibel

      Pages 2-18

   3. Cognitive Technical Systems — What Is the Role of Artificial Intelligence?

      • Michael Beetz, Martin Buss, Dirk Wollherr

      Pages 19-42

   4. Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural Intelligence?

      • Thomas Christaller

      Pages 43-43

   5. Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic

      • Yuval Elovici, Asaf Shabtai, Robert Moskovitch, Gil Tahan, Chanan Glezer

      Pages 44-50

   6. Location-Based Activity Recognition

      • Dieter Fox

      Pages 51-51

3. Papers

   1. Pinpointing in the Description Logic $\mathcal {EL}^+$

      • Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn

      Pages 52-67

   2. Integrating Action Calculi and Description Logics

      • Conrad Drescher, Michael Thielscher

      Pages 68-83

   3. Any-World Access to OWL from Prolog

      • Tobias Matzner, Pascal Hitzler

      Pages 84-98

   4. Applying Logical Constraints to Ontology Matching

      • Christian Meilicke, Heiner Stuckenschmidt

      Pages 99-113

   5. Resolving Inconsistencies in Probabilistic Knowledge Bases

      • Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp

      Pages 114-128

   6. Extending Markov Logic to Model Probability Distributions in Relational Domains

      • Dominik Jain, Bernhard Kirchlechner, Michael Beetz

      Pages 129-143

   7. A Multilingual Framework for Searching Definitions on Web Snippets

      • Alejandro Figueroa, Günter Neumann

      Pages 144-159

   8. A SPARQL Semantics Based on Datalog

      • Simon Schenk

      Pages 160-174

   9. Negation in Spatial Reasoning

      • Stefan Schleipen, Marco Ragni, Thomas Fangmeier

      Pages 175-189

   10. Relational Neural Gas

       • Barbara Hammer, Alexander Hasenfuss

       Pages 190-204

   11. A General Framework for Encoding and Evolving Neural Networks

       • Yohannes Kassahun, Jan Hendrik Metzen, Jose de Gea, Mark Edgington, Frank Kirchner

       Pages 205-219

   12. Making a Robot Learn to Play Soccer Using Reward and Punishment

       • Heiko Müller, Martin Lauer, Roland Hafner, Sascha Lange, Artur Merke, Martin Riedmiller

       Pages 220-234

   13. Perception and Developmental Learning of Affordances in Autonomous Robots

       • Lucas Paletta, Gerald Fritz, Florian Kintzler, Jörg Irran, Georg Dorffner

       Pages 235-250

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.

• agents
• artificial intelligence
• cognition
• emotion
• intelligence
• learning
• machine learning
• ontology
• robot
• semantic web