3229 search results - page 499 / 646 » Theories with the Independence Property |
174
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
162
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
184
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
144
click to vote
CP
2005
Springer
16 years 1 days ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
154
click to vote
EMO
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Evolutionary algorithms have been quite effective in dealing with single-objective “optimization” while the area of Evolutionary Multiobjective Optimization (EMOO) h...