Sciweavers

260 search results - page 17 / 52
» atal 2007
Sort
View
ATAL
2007
Springer
15 years 4 months ago
On the Multimodal Logic of Normative Systems
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
Pilar Dellunde
ATAL
2007
Springer
15 years 4 months ago
Knowledge Sharing Between Agents in a Transitioning Organization
People that interact within a cooperative organization must constantly exchange information on the details of the organization as well as the goals the organization exists to meet....
Eric T. Matson, Raj Bhatnagar
ATAL
2007
Springer
15 years 4 months ago
Deriving agent-centred representations of protocols described using propositional statecharts
Diagrammatic methodologies for the representation of agent interaction protocols can be classified as joint representations that describe an interaction in terms of a single sequ...
Hywel R. Dunn-Davies, Jim Cunningham
73
Voted
ATAL
2007
Springer
15 years 4 months ago
An event-driven approach for agent-based business process enactment
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
Payal Chakravarty, Munindar P. Singh
ATAL
2007
Springer
15 years 4 months ago
Collaboration among a satellite swarm
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...
Grégory Bonnet, Catherine Tessier