A model of dynamic resource allocation in workflow systems
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A logical model of directed obligations and permissions to support electronic contracting
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
On the Representation of Action and Agency in the Theory of Normative Positions
Fundamenta Informaticae - Deontic Logic in Computer Science
Fundamental legal concepts: a formal and teleological characterisation
Artificial Intelligence and Law
Artificial Intelligence and Law
A computational framework for institutional agency
Artificial Intelligence and Law
Understanding organizational congruence: formal model and simulation framework
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Securing uniqueness of rights e-documents: a deontic process perspective
Journal of Theoretical and Applied Electronic Commerce Research
Trust within the Context of Organizations: A Formal Approach
Formal Aspects in Security and Trust
Introducing attempt in a modal logic of intentional action
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
On the Representation of Action and Agency in the Theory of Normative Positions
Fundamenta Informaticae - Deontic Logic in Computer Science
The design of intelligent socio-technical systems
Artificial Intelligence Review
Hi-index | 0.00 |
The main aim of this paper is to propose a set of actionconcepts useful for describing organised interaction. Theseaction concepts focus on two distinctions: the distinctionbetween "direct" and "indirect" action, and the distinctionbetween "successful" and "not necessarily successful"action.The formal characterisation of these concepts is given bymeans of modal logics, following the same tradition inthe logical characterisation of act descriptions as employedby Kanger and Pörn.The modal action operators proposed are also combinedwith a deontic logic and a conditional logic, in order toillustrate their application to the analysis of some simpleorganisations. The focus of interest is on the notion oftransmission of agency, and on the characterisation of theconditions under which an organisation recognises that anagent has fulfilled the responsibilities assigned to him.