8512 search results - page 129 / 1703 » Computing Theory With Relevance |
139
Voted
AAAI
2012
13 years 5 months ago
2012
The multiagent systems community has adopted game theory as a framework for the design of systems of multiple self-interested agents. For this to be effective, efficient algorith...
126
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
110
Voted
AIS
2005
Springer
15 years 2 months ago
2005
Springer
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
82
Voted
GRAPHITE
2003
ACM
15 years 8 months ago
2003
ACM
Much literature has argued that interactive engagement in a computer medium is best demonstrated by games. With this in mind, this paper suggests certain techniques that virtual e...
98
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Following M. Krachounov ([5]), max and min operations with fuzzy sets are considered instead of Lukasiewicz ones ([6], [7], [8], [9]). Her the domain F of a probability m : F [0, ...