4036 search results - page 772 / 808 » Formal Methods |
102
click to vote
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
Planning how to interact against bounded memory and unbounded memory learning opponents needs different treatment. Thus far, however, work in this area has shown how to design pla...
109
click to vote
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
109
click to vote
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
111
click to vote
ATAL
2010
Springer
15 years 1 days ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
109
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Users of the web are increasingly interested in tracking the appearance of new postings rather than locating existing knowledge. Coupled with this is the emergence of the Web 2.0 ...