72 search results - page 1 / 15 » Engineering commitment-based multiagent systems: a temporal ... |
137
Voted
ATAL
2008
Springer
15 years 28 days ago
2008
Springer
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
89
Voted
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
75
Voted
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
IJCAI
2007
15 years 10 days ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
74
Voted
KBSE
2002
IEEE
15 years 3 months ago
2002
IEEE
