3573 search results - page 469 / 715 » Reasoning about Codata |
172
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
213
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
185
click to vote
TARK
2007
Springer
16 years 1 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
214
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
213
click to vote
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
Privacy is an important issue in data publishing. Many organizations distribute non-aggregate personal data for research, and they must take steps to ensure that an adversary cann...