274 search results - page 7 / 55 » Variants of the Event Calculus |
129
Voted
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
130
click to vote
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
141
Voted
WOA
2001
15 years 4 months ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...