45 search results - page 5 / 9 » Automatic generation of explanations: AGE |
JAR
2010
13 years 5 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
AAAI
1992
13 years 8 months ago
1992
models require the identi cation of abstractions and approximations that are well suited to the task at hand. In this paper we analyze the problem of automatically selecting adequ...
TKDE
2008
13 years 7 months ago
2008
An important problem in the area of homeland security is to identify abnormal or suspicious entities in large datasets. Although there are methods from data mining and social netwo...
AMAST
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Patients’ basic understanding of clinical events has been shown to dramatically improve patient care. We propose that the automatic generation of very short microexplanations, s...