8512 search results - page 129 / 1703 » Computing Theory With Relevance |
AAAI
2012
11 years 10 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...
ESOP
2008
Springer
13 years 10 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...
AIS
2005
Springer
13 years 8 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...
GRAPHITE
2003
ACM
14 years 1 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...
BIRTHDAY
2006
Springer
14 years 20 hour 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, ...