Sciweavers

6391 search results - page 364 / 1279
» Agents in Groupware Systems
Sort
View
WSC
2000
15 years 7 months ago
Use of discrete event simulation to validate an agent based scheduling engine
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
Shubhabrata Biswas, Sara Merchawi
ESAW
2004
Springer
15 years 11 months ago
Modelling Flexible Social Commitments and Their Enforcement
Abstract. For over a decade, agent research has shown that social commitments support the definition of open multiagent systems by capturing the responsibilities that agents contr...
Philippe Pasquier, Roberto A. Flores, Brahim Chaib...
ATAL
2003
Springer
15 years 11 months ago
On the outcomes of formal inter-agent dialogues
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines the outcomes of the dialogu...
Simon Parsons, Michael Wooldridge, Leila Amgoud
ATAL
2003
Springer
15 years 11 months ago
A key-based coordination algorithm for dynamic readiness and repair service coordination
This paper describes an agent application for the coordination of aircraft repair, refit, refuel, and rearm teams in a dynamic setting. The paper also presents a new algorithm fo...
Thomas Wagner, Valerie Guralnik, John Phelps
AAMAS
2006
Springer
15 years 6 months ago
Verifying Multi-agent Programs by Model Checking
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...