Sciweavers

4498 search results - page 402 / 900
» How to Invent Functions
Sort
View
199
Voted
ARGMAS
2009
Springer
16 years 1 months ago
Practical Reasoning Using Values
Each person holds numerous values that represent what is believed to be important. As a result, our values influence our behavior and play a role in practical reasoning. Various a...
Thomas L. van der Weide, Frank Dignum, John-Jules ...
ATAL
2009
Springer
16 years 1 months ago
Team competition
In a team competition, two participating teams have an equal number of players, and each team orders its players linearly based on their strengths. A mechanism then specifies how...
Pingzhong Tang, Yoav Shoham, Fangzhen Lin
ATAL
2009
Springer
16 years 1 months ago
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
Iain Wallace, Michael Rovatsos
178
Voted
ATVA
2009
Springer
149views Hardware» more  ATVA 2009»
16 years 1 months ago
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
Jens Oehlerking, Oliver E. Theel
147
Voted
ECSQARU
2009
Springer
16 years 1 months ago
Local Computation Schemes with Partially Ordered Preferences
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
Hélène Fargier, Nic Wilson