4224 search results - page 294 / 845 » Reasoning about Choice |
196
click to vote
ECSQARU
2005
Springer
16 years 29 days ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
170
click to vote
KCAP
2003
ACM
16 years 20 days ago
2003
ACM
One of the long-term goals of Artificial Intelligence is construction of a machine that is capable of reasoning about the everyday world the way humans are. In this paper, I fir...
183
click to vote
ASIAN
2006
Springer
15 years 11 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
216
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
188
click to vote
AAAI
2010
15 years 8 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...