4224 search results - page 669 / 845 » Reasoning about Choice |
164
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
154
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a statistical learning approach to predicting people's bidding behavior in negotiation. Our study consists of multiple 2-player negotiation scenarios wher...
152
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
154
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...
151
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...