Reasoning about Information Change
Journal of Logic, Language and Information
Journal of Logic and Computation
Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July ... (Lecture Notes in Computer Science)
Acts of commanding and changing obligations
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Conflicting obligations in multi-agent deontic logic
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Acts of commanding and changing obligations
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Acts of promising in dynamified deontic logic
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Hi-index | 0.00 |
In this paper, an eliminative command logic ECL introduced in Yamada [21] will be slightly refined into ECL II by allowing command terms and deontic operators to be indexed by a Cartesian Product of a given finite set of agents and a given finite set of command issuing authorities. Complete axiomatization and interesting validities will be presented, and a concrete example of a situation in which conflicting commands are given to the same agent by different authorities will be discussed extensively.