Sciweavers

126 search results - page 7 / 26
» ki 2007
Sort
View
KI
2007
Springer
14 years 1 months ago
Spatio-Temporal Configurations of Dynamics Points in a 1D Space
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
Pierre Hallot, Roland Billen
KI
2007
Springer
14 years 1 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
14 years 1 months ago
Extracting Patterns of Individual Movement Behaviour from a Massive Collection of Tracked Positions
A EU-funded project GeoPKDD develops methods and tools for analysis of massive collections of movement data, which describe changes of spatial positions of discrete entities. Withi...
Gennady L. Andrienko, Natalia V. Andrienko
KI
2007
Springer
14 years 1 months ago
Using UML for Knowledge Engineering - A Critical Overview
Abstract The paper analyzes UML, the well known software engineering tool, from the knowledge engineering perspective. The goal of the paper is to evaluate UML as the possible desi...
Grzegorz J. Nalepa, Igor Wojnicki
KI
2007
Springer
14 years 1 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...