761 search results - page 38 / 153 » A Reactive Approach to Explanation |
ADC
2005
Springer
15 years 5 months ago
2005
Springer
The transformation and manipulation of XML is an increasingly important research topic. This paper examines a number of issues with regard to languages for transforming and reacti...
109
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
ENTCS
2008
14 years 12 months ago
2008
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
ITS
2004
Springer
15 years 5 months ago
2004
Springer
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...
110
click to vote
AIPS
2006
15 years 1 months ago
2006
Mixed-Initiative approaches to Planning and Scheduling are being applied in different real world domains. While several recent successful examples of such tools encourage a wider ...