Output details
11 - Computer Science and Informatics
University of Dundee
Return to search
Output 0 of 0 in the submission
Article title
A logic of delegation
Type
D - Journal article
Title of journal
Artificial Intelligence
Article number
-
Volume number
174
Issue number
1
First page of article
51
ISSN of journal
0004-3702
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<11> This paper is the culmination of a ten-year research programme on logical models of delegation and communication including a paper at an Agent Theories, Architecture & Language Workshop in 2001 (where it won Best Paper Prize), a paper at the selective (>80% rejection) AAMAS conference in 2002, and a paper in the Journal of Philosophical Logic in 2007. The modal logic introduced integrates Kripkean semantics for temporal and action components, allowing for the first time an axiomatisation of delegation. It was used in Reed's secondment as CTO to an SME delivering multiagent systems solutions to customers including Orange, during 2003-10.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
