default search action
30. KI 2007: Osnabrück, Germany
- Joachim Hertzberg, Michael Beetz, Roman Englert:
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
- 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
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
Negation in Spatial Reasoning. 175-189 - Barbara Hammer
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
Making a Robot Learn to Play Soccer Using Reward and Punishment. 220-234 - Lucas Paletta
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
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
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
Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent Networks. 397-411 - Silvia Richter, Malte Helmert
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 R. G. 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 Magalhães 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: