229 search results - page 2 / 46 » Natural Language Proof Explanation |
RR
2007
Springer
14 years 21 days ago
2007
Springer
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
FOSSACS
2003
Springer
13 years 11 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
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...
AH
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. This paper studies the properties of a helpful and trustworthy explanation in a movie recommender system. It discuss the results of an experiment based on a natural langu...
TBILLC
2007
Springer
14 years 21 days ago
2007
Springer