3573 search results - page 75 / 715 » Reasoning about Codata |
112
click to vote
DKE
2006
15 years 2 months ago
2006
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
131
Voted
AIL
2005
15 years 2 months ago
2005
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissen...
123
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
139
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
132
Voted
AIM
2004
15 years 2 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...