3573 search results - page 41 / 715 » Reasoning about Codata |
81
Voted
ECSQARU
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
83
Voted
FLOPS
2006
Springer
15 years 2 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...
CAISE
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
99
Voted
LANMR
2004
15 years 10 days ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
199
click to vote
ICDE
2006
IEEE
16 years 9 days ago
2006
IEEE
Join techniques deploying approximate match predicates are fundamental data cleaning operations. A variety of predicates have been utilized to quantify approximate match in such o...