Sciweavers

KI
2007
Springer
13 years 10 months ago
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
Fredrik Heintz, Piotr Rudol, Patrick Doherty
KI
2007
Springer
13 years 10 months ago
Making a Robot Learn to Play Soccer Using Reward and Punishment
In this paper, we show how reinforcement learning can be applied to real robots to achieve optimal robot behavior. As example, we enable an autonomous soccer robot to learn interce...
Heiko Müller, Martin Lauer, Roland Hafner, Sa...
KI
2007
Springer
13 years 10 months ago
Any-World Access to OWL from Prolog
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
Tobias Matzner, Pascal Hitzler
KI
2007
Springer
13 years 10 months ago
A General Framework for Encoding and Evolving Neural Networks
Abstract. In this paper we present a novel general framework for encoding and evolving networks called Common Genetic Encoding (CGE) that can be applied to both direct and indirect...
Yohannes Kassahun, Jan Hendrik Metzen, Jose de Gea...
KI
2007
Springer
13 years 10 months ago
The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems
This paper presents the behaviour-based control architecture iB2C (integrated Behaviour-Based Control) used for the development of complex robotic systems. The specification of be...
Martin Proetzsch, Tobias Luksch, Karsten Berns
KI
2007
Springer
13 years 10 months ago
Early History and Perspectives of Automated Deduction
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...
Wolfgang Bibel
KI
2007
Springer
13 years 10 months ago
Description Logic Programs: Normal Forms
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
Pascal Hitzler, Andreas Eberhart
KI
2007
Springer
13 years 10 months ago
Training on the Job - Collecting Experience with Hierarchical Hybrid Automata
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
Alexandra Kirsch, Michael Beetz
KI
2007
Springer
13 years 10 months ago
Inductive Synthesis of Recursive Functional Programs
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
Martin Hofmann 0008, Andreas Hirschberger, Emanuel...
KI
2007
Springer
13 years 10 months ago
Applying Logical Constraints to Ontology Matching
Christian Meilicke, Heiner Stuckenschmidt