30. KI 2007:
Osnabrück, Germany
Joachim Hertzberg, Michael Beetz, Roman Englert (Eds.):
KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings.
Lecture Notes in Computer Science 4667 Springer 2007, ISBN 978-3-540-74564-8 
Invited Talks
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 Andrea 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
Last update Sat May 18 19:14:00 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
