30. KI 2007: Osnabrück, Germany

Invited Talks

• Sahin Albayrak:
  The Role of AI in Shaping Smart Services and Smart Systems. 1
  
• Wolfgang Bibel:
  Early History and Perspectives of Automated Deduction. 2-18
  
• Michael Beetz, Martin Buss, Dirk Wollherr:
  Cognitive Technical Systems - What Is the Role of Artificial Intelligence? 19-42
  
• Thomas Christaller:
  Artificial Intelligence Is Engineering Intelligence - Why Should We Care About Natural Intelligence? 43
  
• Yuval Elovici, Asaf Shabtai, Robert Moskovitch, Gil Tahan, Chanan Glezer:
  Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic. 44-50
  
• Dieter Fox:
  Location-Based Activity Recognition. 51
  

Papers

• Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
  Pinpointing in the Description Logic EL⁺. 52-67
  
• Conrad Drescher, Michael Thielscher:
  Integrating Action Calculi and Description Logics. 68-83
  
• Tobias Matzner, Pascal Hitzler:
  Any-World Access to OWL from Prolog. 84-98
  
• Christian Meilicke, Heiner Stuckenschmidt:
  Applying Logical Constraints to Ontology Matching. 99-113
  
• Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp:
  Resolving Inconsistencies in Probabilistic Knowledge Bases. 114-128
  
• Dominik Jain, Bernhard Kirchlechner, Michael Beetz:
  Extending Markov Logic to Model Probability Distributions in Relational Domains. 129-143
  
• Alejandro Figueroa, Günter Neumann:
  A Multilingual Framework for Searching Definitions on Web Snippets. 144-159
  
• Simon Schenk:
  A SPARQL Semantics Based on Datalog. 160-174
  
• Stefan Schleipen, Marco Ragni, Thomas Fangmeier:
  Negation in Spatial Reasoning. 175-189
  
• Barbara Hammer, Alexander Hasenfuss:
  Relational Neural Gas. 190-204
  
• Yohannes Kassahun, Jan Hendrik Metzen, Jose de Gea, Mark Edgington, Frank Kirchner:
  A General Framework for Encoding and Evolving Neural Networks. 205-219
  
• Heiko Müller, Martin Lauer, Roland Hafner, Sascha Lange, Artur Merke, Martin Riedmiller:
  Making a Robot Learn to Play Soccer Using Reward and Punishment. 220-234
  
• Lucas Paletta, Gerald Fritz, Florian Kintzler, Jörg Irran, Georg Dorffner:
  Perception and Developmental Learning of Affordances in Autonomous Robots. 235-250
  
• Norbert Fürstenau:
  A Computational Model of Bistable Perception- Attention Dynamics with Long Range Correlations. 251-263
  
• Claudia Muhl, Yukie Nagai, Gerhard Sagerer:
  On Constructing a Communicative Space in HRI. 264-278
  
• Carles Fernández Tena, Pau Baiget, F. Xavier Roca, Jordi Gonzàlez:
  Natural Language Descriptions of Human Behavior from Video Sequences. 279-292
  
• Stefan Markov, Andreas Birk:
  Detecting Humans in 2D Thermal Images by Generating 3D Models. 293-307
  
• Björn Gottfried, Arne Schuldt, Otthein Herzog:
  Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval. 308-322
  
• Kwang-Soo Hahn, Youngjoon Han, Hernsoo Hahn:
  Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough Transform. 323-336
  
• Emmanuel Benazera:
  Solving Decentralized Continuous Markov Decision Problems with Structured Reward. 337-351
  
• Lutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer:
  Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. 352-366
  
• Bernd Schattenberg, Julien Bidot, Susanne Biundo:
  On the Construction and Evaluation of Flexible Plan-Refinement Strategies. 367-381
  
• Kenneth Kahl, Stefan Edelkamp, Lars Hildebrand:
  Learning How to Play Hex. 382-396
  
• Domingo López-Rodríguez, Enrique Mérida Casermeiro, Gloria Galán Marín, Juan Miguel Ortiz-de-Lazcano-Lobato:
  Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks. 397-411
  
• Silvia Richter, Malte Helmert, Charles Gretton:
  A Stochastic Local Search Approach to Vertex Cover. 412-426
  

Posters

• Larbi Abdenebaoui, Elsa A. Kirchner, Yohannes Kassahun, Frank Kirchner:
  A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game. 427-430
  
• Stefan Artmann:
  Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Psychology. 431-434
  
• Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier:
  Deep Inference for Automated Proof Tutoring? 435-439
  
• Ralf Berger, Gregor Lämmel:
  Exploiting Past Experience - Case-Based Decision Support for Soccer Agents. 440-443
  
• Stefan Edelkamp, Peter Kissmann:
  Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs. 444-447
  
• Ralf Engel, Daniel Sonntag:
  Text Generation in the SmartWeb Multimodal Dialogue System. 448-451
  
• Humberto F. Ferro, Raul Sidnei Wazlawick, Cláudio M. de Oliveira, Rogério Cid Bastos:
  A Method to Optimize the Parameter Selection in Short Term Load Forecasting. 452-455
  
• Simone Frintrop:
  Visual Robot Localization and Mapping Based on Attentional Landmarks. 456-459
  
• Fredrik Heintz, Piotr Rudol, Patrick Doherty:
  Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework. 460-463
  
• Jochen Hirth, Tim Braun, Karsten Berns:
  Emotion Based Control Architecture for Robotics Applications. 464-467
  
• Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid:
  Inductive Synthesis of Recursive Functional Programs. 468-472
  
• Alexandra Kirsch, Michael Beetz:
  Training on the Job - Collecting Experience with Hierarchical Hybrid Automata. 473-476
  
• Alexander Kröner, Nathalie Basselin, Michael Schneider, Junichiro Mori:
  Selecting Users for Sharing Augmented Personal Memories. 477-480
  
• Marc Erich Latoschik:
  Semantic Reflection - Knowledge Based Design of Intelligent Simulation Environments. 481-484
  
• Piotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik:
  Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot. 485-488
  
• Robert Moskovitch, Nir Nissim, Dima Stopel, Clint Feher, Roman Englert, Yuval Elovici:
  Improving the Detection of Unknown Computer Worms Activity Using Active Learning. 489-493
  
• Martin Proetzsch, Tobias Luksch, Karsten Berns:
  The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems. 494-497
  
• Nils Rosemann, Werner Brockmann:
  Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy Systems. 498-501
  
• Erik Schulenburg, Norbert Elkmann, Markus Fritzsche, Angelika Girstl, Stefan Stiene, Christian Teutsch:
  LiSA: A Robot Assistant for Life Sciences. 502-505
  
• Daniel Sonntag, Philipp Heim:
  Semantic Graph Visualisation for Mobile Semantic Web Interfaces. 506-509
  
• Francesco Tarquini, Giorgio De Felice, Paolo Fogliaroni, Eliseo Clementini:
  A Qualitative Model for Visibility Relations. 510-513