878 search results - page 35 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
103
click to vote
AGENTCL
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
WOA
2007
15 years 1 months ago
2007
—Reasoning by interrogation is one of the most ancient and experimented ways of reasoning. Originated by the Aristotelian elenchus, it has been used for many purposes, such as th...
ENTCS
2008
14 years 12 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
FAABS
2000
Springer
15 years 3 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
ARGMAS
2008
Springer
15 years 1 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...