3573 search results - page 469 / 715 » Reasoning about Codata |
155
click to vote
RR
2007
Springer
16 years 19 days 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...
185
click to vote
TACAS
2007
Springer
16 years 19 days 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...
166
click to vote
TARK
2007
Springer
16 years 19 days 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...
187
click to vote
TLCA
2007
Springer
16 years 19 days 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...
186
click to vote
VLDB
2007
ACM
16 years 19 days 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...