Sciweavers

KI
2008
Springer
13 years 11 months ago
Shallow Models for Non-iterative Modal Logics
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
Lutz Schröder, Dirk Pattinson
KI
2008
Springer
13 years 11 months ago
Fusing DL Reasoning with HTN Planning
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...
Ronny Hartanto, Joachim Hertzberg
KI
2008
Springer
13 years 11 months ago
Partial Symbolic Pattern Databases for Optimal Sequential Planning
Abstract. This paper investigates symbolic heuristic search with BDDs for solving domain-independent action planning problems cost-optimally. By distributimpact of operators that t...
Stefan Edelkamp, Peter Kissmann
KI
2008
Springer
13 years 11 months ago
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models
This paper explores the applicability of two formal models of spatial relations, Double Cross and RfDL3-12, to interpret some typical expressions that people use for describing a r...
Yohei Kurata, Hui Shi
KI
2008
Springer
13 years 11 months ago
High-Level Expectations for Low-Level Image Processing
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
Lothar Hotz, Bernd Neumann, Kasim Terzic
KI
2008
Springer
13 years 11 months ago
Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
Walid S. Saba
KI
2008
Springer
13 years 11 months ago
Symbolic Classification of General Two-Player Games
Abstract. In this paper we present a new symbolic algorithm for the classification, i. e. the calculation of the rewards for both players in case of optimal play, of two-player gam...
Stefan Edelkamp, Peter Kissmann
KI
2008
Springer
13 years 11 months ago
ESO: Evolutionary Self-organization in Smart-Appliances Ensembles
: This paper presents an evolutionary algorithm applicable to the task of device adjustment in smart appliances ensembles. The algorithm requires very little environmental knowledg...
Stefan Goldmann, Ralf Salomon
KI
2008
Springer
13 years 11 months ago
Visual-Based Emotion Detection for Natural Man-Machine Interaction
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...
Samuel Strupp, Norbert Schmitz, Karsten Berns
KI
2008
Springer
13 years 11 months ago
A Drum Machine That Learns to Groove
Music production relies increasingly on advanced hardware and software tools that makes the creative process more flexible and versatile. The advancement of these tools helps reduc...
Axel Tidemann, Yiannis Demiris