7112 search results - page 53 / 1423 » Power in normative systems |
IGPL
2010
13 years 8 months ago
2010
Hegselmann and Krause have developed a simple yet powerful computational model for studying the opinion dynamics in societies of epistemically interacting truth-seeking agents. We...
IISWC
2006
IEEE
14 years 4 months ago
2006
IEEE
USENIX
1994
13 years 11 months ago
1994
CC
2006
Springer
13 years 10 months ago
2006
Springer
CSL
2000
Springer
14 years 2 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...