Table of Contents

• The Role of AI in Shaping Smart Services and Smart SystemsSahin Albayrak. 1 [doi]
• Early History and Perspectives of Automated DeductionWolfgang Bibel. 2-18 [doi]
• Cognitive Technical Systems - What Is the Role of Artificial Intelligence?Michael Beetz, Martin Buss, Dirk Wollherr. 19-42 [doi]
• Artificial Intelligence Is Engineering Intelligence - Why Should We Care About Natural Intelligence?Thomas Christaller. 43 [doi]
• Applying Machine Learning Techniques for Detection of Malicious Code in Network TrafficYuval Elovici, Asaf Shabtai, Robert Moskovitch, Gil Tahan, Chanan Glezer. 44-50 [doi]
• Location-Based Activity RecognitionDieter Fox. 51 [doi]
• Pinpointing in the Description Logic ::::EL:::::::+:::Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn. 52-67 [doi]
• Integrating Action Calculi and Description LogicsConrad Drescher, Michael Thielscher. 68-83 [doi]
• Any-World Access to OWL from PrologTobias Matzner, Pascal Hitzler. 84-98 [doi]
• Applying Logical Constraints to Ontology MatchingChristian Meilicke, Heiner Stuckenschmidt. 99-113 [doi]
• Resolving Inconsistencies in Probabilistic Knowledge BasesMarc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp. 114-128 [doi]
• Extending Markov Logic to Model Probability Distributions in Relational DomainsDominik Jain, Bernhard Kirchlechner, Michael Beetz. 129-143 [doi]
• A Multilingual Framework for Searching Definitions on Web SnippetsAlejandro Figueroa, Günter Neumann. 144-159 [doi]
• A SPARQL Semantics Based on DatalogSimon Schenk. 160-174 [doi]
• Negation in Spatial ReasoningStefan Schleipen, Marco Ragni, Thomas Fangmeier. 175-189 [doi]
• Relational Neural GasBarbara Hammer, Alexander Hasenfuss. 190-204 [doi]
• A General Framework for Encoding and Evolving Neural NetworksYohannes Kassahun, Jan Hendrik Metzen, Jose de Gea, Mark Edgington, Frank Kirchner. 205-219 [doi]
• Making a Robot Learn to Play Soccer Using Reward and PunishmentHeiko Müller, Martin Lauer, Roland Hafner, Sascha Lange, Artur Merke, Martin Riedmiller. 220-234 [doi]
• Perception and Developmental Learning of Affordances in Autonomous RobotsLucas Paletta, Gerald Fritz, Florian Kintzler, Jörg Irran, Georg Dorffner. 235-250 [doi]
• A Computational Model of Bistable Perception- Attention Dynamics with Long Range CorrelationsNorbert Fürstenau. 251-263 [doi]
• On Constructing a Communicative Space in HRIClaudia Muhl, Yukie Nagai, Gerhard Sagerer. 264-278 [doi]
• Natural Language Descriptions of Human Behavior from Video SequencesCarles Fernández Tena, Pau Baiget, F. Xavier Roca, Jordi Gonzàlez. 279-292 [doi]
• Detecting Humans in 2D Thermal Images by Generating 3D ModelsStefan Markov, Andreas Birk 0002. 293-307 [doi]
• Extent, Extremum, and Curvature: Qualitative Numeric Features for Efficient Shape RetrievalBjörn Gottfried, Arne Schuldt, Otthein Herzog. 308-322 [doi]
• Extraction of Partially Occluded Elliptical Objects by Modified Randomized Hough TransformKwang-Soo Hahn, Youngjoon Han, Hernsoo Hahn. 323-336 [doi]
• Solving Decentralized Continuous Markov Decision Problems with Structured RewardEmmanuel Benazera. 337-351 [doi]
• Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in GologLutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer. 352-366 [doi]
• On the Construction and Evaluation of Flexible Plan-Refinement StrategiesBernd Schattenberg, Julien Bidot, Susanne Biundo. 367-381 [doi]
• Learning How to Play HexKenneth Kahl, Stefan Edelkamp, Lars Hildebrand. 382-396 [doi]
• Stochastic Functional Annealing as Optimization Technique: Application to the Traveling Salesman Problem with Recurrent NetworksDomingo López-Rodríguez, Enrique Mérida Casermeiro, Gloria Galán Marín, Juan Miguel Ortiz-de-Lazcano-Lobato. 397-411 [doi]
• A Stochastic Local Search Approach to Vertex CoverSilvia Richter, Malte Helmert, Charles Gretton. 412-426 [doi]
• A Connectionist Architecture for Learning to Play a Simulated Brio Labyrinth GameLarbi Abdenebaoui, Elsa A. Kirchner, Yohannes Kassahun, Frank Kirchner. 427-430 [doi]
• Divergence versus Convergence of Intelligent Systems: Contrasting Artificial Intelligence with Cognitive PsychologyStefan Artmann. 431-434 [doi]
• Deep Inference for Automated Proof Tutoring?Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier. 435-439 [doi]
• Exploiting Past Experience - Case-Based Decision Support for Soccer AgentsRalf Berger, Gregor Lämmel. 440-443 [doi]
• Externalizing the Multiple Sequence Alignment Problem with Affine Gap CostsStefan Edelkamp, Peter Kissmann. 444-447 [doi]
• Text Generation in the SmartWeb Multimodal Dialogue SystemRalf Engel, Daniel Sonntag. 448-451 [doi]
• A Method to Optimize the Parameter Selection in Short Term Load ForecastingHumberto F. Ferro, Raul Sidnei Wazlawick, Cláudio M. de Oliveira, Rogério Cid Bastos. 452-455 [doi]
• Visual Robot Localization and Mapping Based on Attentional LandmarksSimone Frintrop. 456-459 [doi]
• Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware FrameworkFredrik Heintz, Piotr Rudol, Patrick Doherty. 460-463 [doi]
• Emotion Based Control Architecture for Robotics ApplicationsJochen Hirth, Tim Braun, Karsten Berns. 464-467 [doi]
• Inductive Synthesis of Recursive Functional ProgramsMartin Hofmann 0008, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid. 468-472 [doi]
• Training on the Job - Collecting Experience with Hierarchical Hybrid AutomataAlexandra Kirsch, Michael Beetz. 473-476 [doi]
• Selecting Users for Sharing Augmented Personal MemoriesAlexander Kröner, Nathalie Basselin, Michael Schneider, Junichiro Mori. 477-480 [doi]
• Semantic Reflection - Knowledge Based Design of Intelligent Simulation EnvironmentsMarc Erich Latoschik. 481-484 [doi]
• Prolog-Based Real-Time Intelligent Control of the Hexor Mobile RobotPiotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik. 485-488 [doi]
• Improving the Detection of Unknown Computer Worms Activity Using Active LearningRobert Moskovitch, Nir Nissim, Dima Stopel, Clint Feher, Roman Englert, Yuval Elovici. 489-493 [doi]
• The Behaviour-Based Control Architecture iB2C for Complex Robotic SystemsMartin Proetzsch, Tobias Luksch, Karsten Berns. 494-497 [doi]
• Concept for Controlled Self-optimization in Online Learning Neuro-fuzzy SystemsNils Rosemann, Werner Brockmann. 498-501 [doi]
• LiSA: A Robot Assistant for Life SciencesErik Schulenburg, Norbert Elkmann, Markus Fritzsche, Angelika Girstl, Stefan Stiene, Christian Teutsch. 502-505 [doi]
• Semantic Graph Visualisation for Mobile Semantic Web InterfacesDaniel Sonntag, Philipp Heim. 506-509 [doi]
• A Qualitative Model for Visibility RelationsFrancesco Tarquini, Giorgio De Felice, Paolo Fogliaroni, Eliseo Clementini. 510-513 [doi]