Agent strands in the action language nC+

Giunchiglia, 2004, Nonmonotonic causal theories, Artificial Intelligence, 153, 49, 10.1016/j.artint.2002.12.001 CCalc: http://www.cs.utexas.edu/users/tag/cc Akman, 2004, Representing the Zoo World and the Traffic World in the language of the Causal Calculator, Artificial Intelligence, 153, 105, 10.1016/j.artint.2003.08.002 Artikis, 2003, Specifying electronic societies with the Causal Calculator, vol. 2585, 1 Artikis, 2003, An executable specification of an argumentation protocol, 1 M.J. Sergot, (C+)++: An action language for modelling norms and institutions, Technical Report 2004/8, Dept. of Computing, Imperial College London (2004) Sergot, 2005, Modelling unreliable and untrustworthy agent behaviour, 161 M.J. Sergot, R. Craven, The deontic component of action language nC+, in: Proc. Deon'06, in: LNAI, vol. 4048, pp. 222–237 Lomuscio, 2003, Deontic interpreted systems, Studia Logica, 75, 63, 10.1023/A:1026176900459 Lomuscio, 2004, A formalisation of violation, error recovery, and enforcement in the bit transmission problem, Journal of Applied Logic, 2, 93, 10.1016/j.jal.2004.01.005 Meyer, 1988, A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic, Notre Dame Journal of Formal Logic, 29, 109 Maibaum, 1993, Temporal reasoning over deontic specifications, 141 J. Broersen, Modal action logics for reasoning about reactive systems, PhD thesis, Vrije Universiteit Amsterdam, 2003 Moses, 1995, Artificial social systems, Computers and AI, 14, 533 Artikis, 2002, Animated specification of computational societies, 1053 L. van der Torre, Causal deontic logic, in: Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon2000), 2000, pp. 351–367 Carmo, 1996, Deontic database constraints, violation and recovery, Studia Logica, 57, 139, 10.1007/BF00370673 van der Meyden, 1996, The dynamic logic of permission, Journal of Logic and Computation, 6, 465, 10.1093/logcom/6.3.465 T. Agotnes, W. van der Hoek, J. Rodríguez-Aguilar, C. Sierra, M. Wooldridge, On the logic of normative systems, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007, pp. 1175–1180