81 search results - page 1 / 17 » A Logic for Reasoning about Digital Rights |
CSFW
2002
IEEE
13 years 11 months ago
2002
IEEE
LICS
2006
IEEE
14 years 3 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
JTAER
2008
13 years 6 months ago
2008
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
AIL
2007
13 years 6 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...