Sciweavers

9989 search results - page 1775 / 1998
» A CLP Approach to Modelling Systems
Sort
View
ESAW
2004
Springer
15 years 11 months ago
Welfare Engineering in Practice: On the Variety of Multiagent Resource Allocation Problems
Abstract. Many problems studied in the multiagent systems community can be considered instances of an abstract multiagent resource allocation problem. In this problem, which is now...
Yann Chevaleyre, Ulrich Endriss, Sylvia Estivie, N...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 11 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
JELIA
2004
Springer
15 years 11 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
HICSS
2003
IEEE
168views Biometrics» more  HICSS 2003»
15 years 11 months ago
'Pay-per-use' Concept in Healthcare: A Grounded Theory Perspective
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
Abdullah A. Akbar
ATAL
2003
Springer
15 years 11 months ago
Reasoning about the dynamics of social behaviour
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
Maria Fasli
« Prev « First page 1775 / 1998 Last » Next »