1286 search results - page 2 / 258 » A Framework for Prototyping and Reasoning about Distributed ... |
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
CONCUR
2009
Springer
14 years 25 days ago
2009
Springer
FSTTCS
2005
Springer
13 years 11 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
ICDE
2006
IEEE
14 years 7 months ago
2006
IEEE
Join techniques deploying approximate match predicates are fundamental data cleaning operations. A variety of predicates have been utilized to quantify approximate match in such o...
ATAL
2007
Springer
14 years 13 days ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...