Sciweavers

KI
2009
Springer
14 years 7 months ago
P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface
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...
Nikolay Chumerin, Nikolay V. Manyakov, Adrien Comb...
KI
2009
Springer
14 years 7 months ago
Comparing Two Approaches for the Recognition of Temporal Expressions
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...
Oleksandr Kolomiyets, Marie-Francine Moens
KI
2009
Springer
14 years 7 months ago
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning
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 ...
Florian Pommerening, Stefan Wölfl, Matthias W...
KI
2009
Springer
14 years 7 months ago
Planning with h +  in Theory and Practice
Abstract. Many heuristic estimators for classical planning are based on the socalled delete relaxation, which ignores negative effects of planning operators. Ideally, such heuristi...
Christoph Betz, Malte Helmert
KI
2009
Springer
14 years 7 months ago
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite
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 ...
Xiaowang Zhang, Zuoquan Lin
KI
2009
Springer
14 years 7 months ago
An Exploitative Monte-Carlo Poker Agent
Immanuel Schweizer, Kamill Panitzek, Sang-Hyeun Pa...
KI
2009
Springer
14 years 7 months ago
Surrogate Constraint Functions for CMA Evolution Strategies
Many practical optimization problems are constrained black boxes. Covariance Matrix Adaptation Evolution Strategies (CMA-ES) belong to the most successful black box optimization me...
Oliver Kramer, André Barthelmes, Günte...
KI
2009
Springer
14 years 7 months ago
On Defaults in Action Theories
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...
Hannes Strass, Michael Thielscher
KI
2009
Springer
14 years 7 months ago
Meta-level Information Extraction
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...
Peter Klügl, Martin Atzmueller, Frank Puppe
KI
2009
Springer
14 years 7 months ago
External Sources of Axioms in Automated Theorem Proving
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...
Martin Suda, Geoff Sutcliffe, Patrick Wischnewski,...