5243 search results - page 797 / 1049 » Reasoning About Strategies |
219
click to vote
DALT
2005
Springer
16 years 5 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
155
click to vote
ECAL
2005
Springer
16 years 5 days ago
2005
Springer
Efficient hierarchical architectures for reconfigurable and adaptive multi-agent networks require dynamic cluster formation among the set of nodes (agents). In the absence of cen...
159
click to vote
EPIA
2005
Springer
16 years 5 days ago
2005
Springer
The amount of information about the genome, transcriptome and proteome, forms a problem for the scientific community: how to find the right information in a reasonable amount of ...
151
click to vote
ER
2005
Springer
16 years 5 days ago
2005
Springer
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...
198
click to vote
EUC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...