787 search results - page 26 / 158 » Modelling Uncertainty in Agent Programming |
109
click to vote
ACOM
2006
Springer
15 years 6 months ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...
83
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
101
click to vote
DAC
2005
ACM
16 years 1 months ago
2005
ACM
We present an efficient optimization scheme for gate sizing in the presence of process variations. Using a posynomial delay model, the delay constraints are modified to incorporat...
133
Voted
AAMAS
2011
Springer
14 years 4 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
105
Voted
PODC
1995
ACM
15 years 4 months ago
1995
ACM
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...