4595 search results - page 569 / 919 » Reasoning about Plans |
200
Voted
AGENTCL
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
155
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
206
click to vote
CAEPIA
2003
Springer
16 years 3 days ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
196
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
162
Voted
DBPL
2003
Springer
16 years 2 days ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...