SUN, Xin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Input/Output STIT Logic for Normative Systems
Date de publication/diffusion :
2015
Nom de la manifestation :
The 9th International Web Rule Symposium (RuleML)
Date de la manifestation :
02-08-2015
Titre de l'ouvrage principal :
Proceedings of the 9th International Web Rule Symposium (RuleML)
Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J. A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Veloso, M. M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, Hyderabad, India, pp. 1175-1180, January 6-12, 2007
Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L. W. N. (eds.): Normative Multi-Agent Systems. Dagstuhl Follow-Ups, vol. 4. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2013)
Arora, S., Barak, B.: Computational Complexity: A Modern Approach. Cambridge University Press, New York (2009)
Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic 37(4), 387-406 (2008)
Belnap, N., Perloff, M., Xu, M.: Facing the future: agents anc choice in our inderterminist world. Oxford (2001)
Boella, G., van der Torre, L. W. N.: A logical architecture of a normative system. In: Goble, L., Meyer, J.-J. C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 24-35. Springer, Heidelberg (2006)
Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. Autonomous Agents and Multi-Agent Systems 17(1), 1-10 (2008)
Colombo, S., Guido, T., van der Torre, B. L., Villata, S.: Abstract normative systems: semantics and proof theory. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 358-368 (2012)
Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications (2014)
Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, barcelona, Catalonia, Spain, July 16-22, 2011, pp. 228-233. IJCAI/AAAI (2011)
Herzig, A., Schwarzentruber, F.: Properties of logics of individual and group agency. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, pp. 133-149. College Publications (2008)
Horty, J.: Agency and Deontic Logic. Oxford University Press, New York (2001)
Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. Journal of Philosophical Logic 37, 1-21 (2008)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383-408 (2000)
Makinson, D., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30(2), 155-185 (2001)
Makinson, D., van der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32, 391-416 (2003)
Parent, X., van der Torre, L.: I/O logic. In: Horty, J., Gabbay, D., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2014)
Ross, A.: Imperatives and logic. Theoria, 7(5371) (1941)
Sun, X.: Conditional ought, a game theoretical perspective. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 356-369. Springer, Heidelberg (2011)
Sun, X.: How to build input/output logic. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA 2014. LNCS, vol. 8624, pp. 123-137. Springer, Heidelberg (2014)
Sun, X., van der Torre, L.: Combining constitutive and regulative norms in input/output logic. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds.) DEON 2014. LNCS, vol. 8554, pp. 241-257. Springer, Heidelberg (2014)
Wooldridge, M. J.: An Introduction to MultiAgent Systems. Wiley (2009)
