Sciweavers

77 search results - page 5 / 16
» An MDP Approach for Explanation Generation
Sort
View
ICCBR
2005
Springer
14 years 1 months ago
Knowledge Intensive Case Based Support for Automated Explanation of Biological Phenomena
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
Waclaw Kusnierczyk, Agnar Aamodt, Astrid Læg...
SPIN
2012
Springer
11 years 10 months ago
Model Checking DSL-Generated C Source Code
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Martin Sulzmann, Axel Zechner
ICCBR
2007
Springer
14 years 1 months ago
Explanations and Case-Based Reasoning in Ambient Intelligent Systems
Interacting with intelligent systems in general and ambient intelligent systems in particular, requires that these systems have the ability to build a trust relationship with the u...
Jörg Cassens, Anders Kofod-Petersen
ARTMED
1999
56views more  ARTMED 1999»
13 years 7 months ago
Refining instructional text generation after evaluation
In this paper, we describe how user-adapted explanations about drug prescriptions can be generated from already existing data sources. We start by illustrating the two-step approa...
Fiorella de Rosis, Floriana Grasso, Dianne C. Berr...
PRICAI
2000
Springer
13 years 11 months ago
Generating Hierarchical Structure in Reinforcement Learning from State Variables
This paper presents the CQ algorithm which decomposes and solves a Markov Decision Process (MDP) by automatically generating a hierarchy of smaller MDPs using state variables. The ...
Bernhard Hengst