Sciweavers

354 search results - page 21 / 71
» On Obligations
Sort
View
AIL
1999
134views more  AIL 1999»
13 years 9 months ago
An Ontology for Commitments in Multiagent Systems
Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for ...
Munindar P. Singh
ASM
2010
ASM
14 years 4 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
BPM
2005
Springer
133views Business» more  BPM 2005»
13 years 11 months ago
Towards Integrating Business Policies with Business Processes
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...
Zoran Milosevic
CORR
2008
Springer
52views Education» more  CORR 2008»
13 years 10 months ago
A static theory of promises
We discuss for the concept of promises within a framework that can be applied to either humans or technology. We compare promises to the more established notion of obligations and...
Jan A. Bergstra, Mark Burgess
ATAL
2005
Springer
14 years 3 months ago
Informed Deliberation During Norm-Governed Practical Reasoning
A norm-governed agent takes social norms into account in its practical reasoning. Such norms characterise its role within a specific organisational context. By adopting a role, th...
Martin J. Kollingbaum, Timothy J. Norman