187 search results - page 8 / 38 » Generating ultrafilters in a reasonable way |
TARK
2007
Springer
14 years 1 months ago
2007
Springer
This paper studies games with uncertainty where players have different awareness regarding a chance player’s moves (contingencies). An announcer, who is fully aware of the cont...
IRI
2006
IEEE
14 years 1 months ago
2006
IEEE
We introduce, in this article, a way for building a Virtual Environment for Training to manage dynamic and collaborative situations in team sport. In these situations, relevant in...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounter...
CADE
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
CADE
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...