4266 search results - page 34 / 854 » A Framework for Defining Logics |
146
click to vote
AIL
2007
15 years 4 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...
143
click to vote
TIT
2008
15 years 4 months ago
2008
Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...
133
click to vote
AAAI
1990
15 years 5 months ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
126
click to vote
COMMA
2006
15 years 5 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
167
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...