229 search results - page 7 / 46 » Natural Language Proof Explanation |
EXTREME
2004
ACM
14 years 4 days ago
2004
ACM
The World Wide Web Consortium recommends both XSLT and XQuery as query languages for XML documents. XSLT, originally designed to transform XML into XSL-FO, is nowadays a fully gro...
NLE
2008
13 years 6 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
CVPR
2005
IEEE
14 years 8 months ago
2005
IEEE
We present a novel representation and method for detecting and explaining anomalous activities in a video stream. Drawing from natural language processing, we introduce a represen...
TYPES
2007
Springer
14 years 25 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
ATAL
2004
Springer
14 years 3 days ago
2004
Springer
Social judgment is a process of social explanation whereby one identifies which entities deserve credit or blame for multiagent activities. Such explanations are a key aspect of i...