Conference Program
KI-2007 at a Glance
Please refer to the special Tutorial and Workshop pages for the respective programs!
Here is a PDF version of the program brochure (12.2 MB!) of which participants will get a printed copy on site.
The proceedings have appeared in Springer's LNAI series (vol. 4667). Here are links to
information and access to the
online version (charge!) from the Springer site.
Invited Talks
Abstracts of the invited talks can be found here!
Invited Talk I (Tue, Sep 11, 9:15)
Sahin Albayrak (TU Berlin): The Role of AI in Shaping Smart Services and Smart Systems
Invited Talk II (Tue, Sep 11, 16:00)
Yuval Elovici (Ben Gurion U. of the Negev, Beer-Sheva): Applying Machine Learning Techniques to Detect Malicious Code in Network Traffic
Invited Talk III (Wed, Sep 12, 9:15)
Dieter Fox (U. of Washington, Seattle): Location-Based Activity Recognition
Invited Talk IV (Wed, Sep 12, 16:00)
Thomas Christaller (Fraunhofer IAIS, Sankt Augustin): Artificial Intelligence is Engineering Intelligence -- Why should we care about Natural Intelligence?
Invited Talk V (Thu, Sep 13, 9:15)
Wolfgang Bibel (TU Darmstadt): Early history and perspectives of Automated Deduction
Invited Talk VI (Thu, Sep 13, 12:15)
Martin Buss (TU München): CoTeSys – Cognition for Technical Systems
DFG Session (Thu, Sep 13, 10:30)
This is a session with short invited talks describing the state of three larger DFG-financed, AI related programs. Talks (15 min. each) will address:
- Introduction (U. Furbach, Univ. Koblenz)
- AI funding by DFG (G. Sonntag, DFG)
- SFB-TR 8 (Ch. Freksa, Univ. Bremen)
- SFB 378 (J. Siekmann, Univ. Saarland)
- PAK 275 (M. Thielscher, TU Dresden)
- Nachwuchsgruppe "Humanoide Roboter" (S. Behnke, Univ. Freiburg)
Technical Sessions
Best Papers Session (Tue, Sep 11, 14:00)
This is a single track session featuring the three papers that have been shortlisted for the Springer best paper award. And the winner is: ... (to be announced during the conference dinner)
- Pinpointing in the Description Logic EL+
Franz Baader, Rafael Penaloza and Boontawee Suntisrivaraporn
- Relational Neural Gas
Barbara Hammer and Alexander Hasenfuss
- A Stochastic Local Search Approach to Vertex Cover
Silvia Richter, Malte Helmert and Charles Gretton
Technical Talks I (Tue, Sep 11, 11:00)
This slot features four parallel sessions, each talk having 30 minutes.
Knowledge Representation: Probabilistic Approaches
- Resolving Inconsistencies in Probabilistic Knowledge Bases
Marc Finthammer, Gabriele Kern-Isberner and Manuela Ritterskamp
- Extending Markov Logic to Model Probability Distributions in Relational Domains
Dominik Jain, Bernhard Kirchlechner and Michael Beetz
Knowledge Representation: Other Topics
- A multilingual framework for searching definitions on web snippets
Alejandro Figueroa and Guenter Neumann
- A SPARQL Semantics Based on Datalog
Simon Schenk
- Negation in Spatial Reasoning – A Computational Approach
Stefan Schleipen, Marco Ragni and Thomas Fangmeier
Perception: Cognition-Related Approaches
- A Computational Model of Bistable Perception-Attention Dynamics with Long Range Correlations
Norbert Fürstenau
- On Constructing a Communicative Space in HRI
Claudia Muhl, Yukie Nagai and Gerhard Sagerer
- Natural Language Descriptions of Human Behavior from Video Sequences
Carles Fernandez Tena and Jordi Gonzalez
Planning
- Solving Decentralized Continuous Markov Decision Problems with Structured Reward
Emmanuel Benazera
- Options in Readylog Reloaded – Generating Decision-theoretic Plan Libraries in Golog
Lutz Boehnstedt, Alexander Ferrein and Gerhard Lakemeyer
- On the Construction and Evaluation of Flexible Plan-Refinement Strategies
Bernd Schattenberg, Julien Bidot and Susanne Biundo
Technical Talks II (Wed, Sep 12, 11:00)
This slot features four parallel sessions, each talk having 30 minutes.
Knowledge Representation: Description Logics
- Integrating Action Calculi and Description Logics
Conrad Drescher and Michael Thielscher
- Any-World Access to OWL from Prolog
Tobias Matzner and Pascal Hitzler
- Applying Logical Constraints to Ontology Matching
Christian Meilicke and Heiner Stuckenschmidt
Learning
- A General Framework for Encoding and Evolving Neural Networks
Yohannes Kassahun, Jan Hendrik Metzen, Jose de Gea, Mark Edgington and Frank Kirchner
- Making a Robot Learn to Play Soccer Using Reward and Punishment
Heiko Müller, Martin Lauer, Roland Hafner, Sascha Lange, Artur Merke and Martin Riedmiller
- Perception and Developmental Learning of Affordances in Autonomous Robots
Lucas Paletta, Gerald Fritz, Florian Kintzler, Jörg Irran and Georg Dorffner
Perception: Shape
- Detecting Humans in 2D Thermal Images by Generating 3D Models
Andreas Birk and Stefan Markov
- Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape Retrieval
Björn Gottfried, Arne Schuldt and Otthein Herzog
- Extraction of partially occluded elliptical objects by Modified Randomized Hough Transform
Kwangsoo Hahn, Youngjoon Han and Hernsoo Hahn
Search
- Learning how to Play Hex
Stefan Edelkamp, Lars Hildebrand and Kenneth Kahl
- Stochastic Functional Annealing as Optimization Technique. Application to the Traveling Salesman Problem with Recurrent Networks
Domingo Lopez-Rodriguez, Enrique Merida-Casermeiro, Gloria Galan-Marin and Juan M. Ortiz-de-Lazcano-Lobato
Poster Session (Wed, Sep 12, 14:00)
- A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth Game
Larbi Abdenebaoui, Elsa A. Kirchner, Yohannes Kassahun and Frank Kirchner
- Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive Science
Stefan Artmann
- Deep Inference for Automated Proof Tutoring?
Christoph Benzmüller, Dominik Dietrich, Marvin Schiller and Serge Autexier
- Exploiting Past Experience – Case-Based Decision Support for Soccer Agents
Ralf Berger and Gregor Lämmel
- Externalizing the Multiple Sequence Alignment
Stefan Edelkamp and Peter Kissmann
- Text Generation in the SmartWeb Multimodal Dialogue System
Ralf Engel and Daniel Sonntag
- A Method to Optimize the Parameter Selection in Short Term Load Forecasting
Humberto Fioravante Ferro, Raul Wazlawick, Claudio Magalhaes de Oliveira and Rogerio Cid Bastos
- Visual Robot Localization and Mapping based on Attentional Landmarks
Simone Frintrop
- Bridging the Sense-Reasoning Gap using the Knowledge Processing Middleware DyKnow
Fredrik Heintz, Piotr Rudol and Patrick Doherty
- Emotion Based Control Architecture for Robotics Applications
Jochen Hirth, Tim Braun and Karsten Berns
- Inductive Synthesis of Recursive Functional Programs – A Comparison of Three Systems
Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann and Ute Schmid
- Training on the Job – Collecting Experience with Hierarchical Hybrid Automata
Alexandra Kirsch and Michael Beetz
- Selecting Users for Sharing Augmented Personal Memories
Alexander Kröner, Nathalie Basselin, Michael Schneider and Junichiro Mori
- Knowledge Based Design of Intelligent Simulation Environments
Marc Erich Latoschik
- Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot
Piotr Matyasik, Grzegorz Nalepa and Piotr Ziecik
- Improving the Detection of Unknown Computer Worms Activity using Active Learning
Robert Moskovitch, Nir Nissim, Dima Stopel, Clint Feher, Roman Englert and Yuval Elovici
- The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems
Martin Proetzsch, Tobias Luksch and Karsten Berns
- Concept for Controlled Self-Optimization in Online Learning Neuro-Fuzzy Systems
Nils Rosemann and Werner Brockmann
- LiSA: A Robot Assistant for Life Sciences
Erik Schulenburg, Norbert Elkmann, Markus Fritzsche, Angelika Girstl, Stefan Stiene and Christian Teutsch
- Semantic Graph Visualisation for Mobile Semantic Web Interfaces
Daniel Sonntag and Philipp Heim
- A Qualitative Model for Visibility Relations
Francesco Tarquini, Giorgio De Felice, Paolo Fogliaroni and Eliseo Clementini