886 search results - page 29 / 178 » Reasoning with contextual graphs |
108
click to vote
CADE
2005
Springer
15 years 3 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
124
Voted
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In previous work we have shown that the MapReduce framework for distributed computation can be deployed for highly scalable inference over RDF graphs under the RDF Schema...
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
We address the problem of scalable distributed reasoning, proposing a technique for materialising the closure of an RDF graph based on MapReduce. We have implemented our approach o...
113
Voted
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
116
Voted
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
This paper introduces an invoice analysis approach using CaseBased Reasoning (CBR). CBR is used to analyze and interpret new invoices thanks to the previous processing experiences...