2519 search results - page 94 / 504 » Reasoning with Textual Cases |
133
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
128
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
141
click to vote
FLOPS
2006
Springer
15 years 8 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...
137
Voted
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
e-Services are just like normal services, but can be ordered and provisioned via the Internet completely. Increasingly, these e-services are offered as a multi-supplier bundle of e...
122
click to vote
AAAI
1994
15 years 5 months ago
1994
An approach to nonmonotonic inference, based on preference orderings between possible worlds or states of affairs, is presented. We begin with an extant weak theory of default con...