3729 search results - page 383 / 746 » On Formal Modeling of Agent Computations |
170
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
186
click to vote
AIPS
1994
15 years 8 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
181
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
188
click to vote
IJPP
2010
15 years 5 months ago
2010
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...
171
Voted
BROADNETS
2006
IEEE
16 years 26 days ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...