3793 search results - page 470 / 759 » Expressive Description Logics |
147
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
189
click to vote
SP
2006
IEEE
16 years 20 days ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
135
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
171
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
192
click to vote
SDMW
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...