Sciweavers

22 search results - page 5 / 5
» On Acceptability in Abstract Argumentation Frameworks with a...
Sort
View
PROVSEC
2009
Springer
14 years 4 days ago
Oracle Separation in the Non-uniform Model
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
Ahto Buldas, Sven Laur, Margus Niitsoo
DAGSTUHL
2007
13 years 9 months ago
Normtypologies
In this extended abstract I describe some norm typolgies developed within sociololgy and social philosophy. Using these typologies we can determine the bounderies of the different...
Harko Verhagen