Sciweavers

KI
2009
Springer
13 years 8 months ago
A Formal Cognitive Model of Mathematical Metaphors
Markus Guhe, Alan Smaill, Alison Pease
KI
2009
Springer
13 years 8 months ago
Correlating Natural Language Parser Performance with Statistical Measures of the Text
Abstract. Natural language parsing, as one of the central tasks in natural language processing, is widely used in many AI fields. In this paper, we address an issue of parser perf...
Yi Zhang, Rui Wang 0005
KI
2009
Springer
13 years 8 months ago
Semi-automatic Creation of Resources for Spoken Dialog Systems
The increasing number of spoken dialog systems calls for efficient approaches for their development and testing. Our goal is the minimization of hand-crafted resources to maximize ...
Tatjana Scheffler, Roland Roller, Norbert Reithing...
KI
2009
Springer
13 years 8 months ago
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
KI
2009
Springer
13 years 10 months ago
Requirements and Building Blocks for Sociable Embodied Agents
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...
Stefan Kopp, Kirsten Bergmann, Hendrik Buschmeier,...
KI
2009
Springer
13 years 10 months ago
Machine Learning Techniques for Selforganizing Combustion Control
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...
Erik Schaffernicht, Volker Stephan, Klaus Debes, H...
KI
2009
Springer
13 years 10 months ago
Presenting Proofs with Adapted Granularity
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...
Marvin Schiller, Christoph Benzmüller
KI
2009
Springer
13 years 10 months ago
A Framework for Interactive Hybrid Planning
Bernd Schattenberg, Julien Bidot, Sascha Geß...