KI
2009
Springer
13 years 11 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
13 years 11 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
13 years 11 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 ...
KI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Many heuristic estimators for classical planning are based on the socalled delete relaxation, which ignores negative effects of planning operators. Ideally, such heuristi...
KI
2009
Springer
13 years 11 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
KI
2009
Springer
13 years 11 months ago
2009
Springer
KI
2009
Springer
13 years 11 months ago
2009
Springer
Many practical optimization problems are constrained black boxes. Covariance Matrix Adaptation Evolution Strategies (CMA-ES) belong to the most successful black box optimization me...
KI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
KI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper presents a novel approach for meta-level information extraction (IE). The common IE process model is extended by utilizing transfer knowledge and meta-features...
KI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...