LFCS
2009
Springer
14 years 6 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
KI
2009
Springer
14 years 6 months ago
2009
Springer
To be sociable, embodied interactive agents like virtual characters or humanoid robots need to be able to engage in mutual coordination of behaviors, beliefs, and relationships wit...
KI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. This paper presents the overall system of a learning, selforganizing, and adaptive controller used to optimize the combustion process in a hard-coal fired power plant. T...
KI
2009
Springer
14 years 6 months ago
2009
Springer
KI
2009
Springer
14 years 6 months ago
2009
Springer
KI
2009
Springer
14 years 6 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
KI
2009
Springer
14 years 6 months ago
2009
Springer
KI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. We propose a new EEG-based wireless brain computer interface (BCI) with which subjects can “mind-type” text on a computer screen. The application is based on detectin...
KI
2009
Springer
14 years 6 months ago
2009
Springer
Temporal expressions are important structures in natural language. In order to understand text, temporal expressions have to be extracted and normalized. In this paper we present a...
KI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet ...