F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. , The Description Logic Handbook, 2003.
DOI : 10.1017/CBO9780511711787

G. Boella and L. Van-der-torre, Permissions and obligations in hierarchical normative systems, Proceedings of the 9th international conference on Artificial intelligence and law , ICAIL '03, pp.109-118, 2003.
DOI : 10.1145/1047788.1047818

G. Boella and L. Van-der-torre, Institutions with a hierarchy of authorities in distributed dynamic environments, Artificial Intelligence and Law, vol.60, issue.1???4, pp.53-71, 2008.
DOI : 10.1007/s10506-007-9059-8

W. Briggs and D. Cook, Flexible social laws, Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp.688-693, 1995.

M. Chein and M. Mugnier, Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00355336

M. Croitoru, N. Oren, S. Miles, and M. Luck, Graph-Based Norm Explanation, Research and Development in Intelligent Systems XXVII, Proceedings of AI-2010: The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, pp.35-48
DOI : 10.1007/978-0-85729-130-1_3

URL : https://hal.archives-ouvertes.fr/lirmm-00538437

M. Croitoru, L. Xiao, D. Dupplaw, and P. Lewis, Expressive security policy rules using Layered Conceptual Graphs, Knowledge-Based Systems, vol.21, issue.3, pp.209-216, 2008.
DOI : 10.1016/j.knosys.2007.11.006

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.1884

J. Dibie-barthélemy, O. Haemmerlé, and E. Salvat, A semantic validation of conceptual graphs, Knowledge-Based Systems, vol.19, issue.7, pp.498-510, 2006.
DOI : 10.1016/j.knosys.2005.04.002

G. Governatori, J. Hulstijn, R. Riveret, and A. Rotolo, Characterising Deadlines in??Temporal??Modal??Defeasible??Logic, Proceedings of the 28th International Conference on Artificial Intelligence (AI-2007), pp.486-496
DOI : 10.1007/978-3-540-76928-6_50

P. Groth, S. Miles, S. Modgil, N. Oren, M. Luck et al., Determining the Trustworthiness of New Electronic Contracts, Proceedings of the 10th Annual International Workshop on Engineering Societies in the Agents' World, pp.132-147, 2009.
DOI : 10.1007/978-3-642-10203-5_12

]. R. Kowalski and M. J. Sergot, A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-95, 1986.
DOI : 10.1007/BF03037383

C. Krogh, The rights of agents, Proceedings of the IJCAI Workshop on Intelligent Agents II: Agent Theories, Architectures, and Languages, pp.1-16, 1996.
DOI : 10.1007/3540608052_55

P. Mcnamara, Deontic logic The Stanford Encyclopedia of Philosophy, 2010.

S. Miles, P. Groth, and M. Luck, Handling mitigating circumstances for electronic contracts, Proceedings of the AISB 2008 Symposium on Behaviour Regulation in Multi-agent Systems, pp.37-42

M. L. Mugnier and M. Leclère, On querying simple conceptual graphs with negation, Data & Knowledge Engineering, vol.60, issue.3, pp.468-493, 2007.
DOI : 10.1016/j.datak.2006.03.008

URL : https://hal.archives-ouvertes.fr/lirmm-00106650

N. Oren, M. Croitoru, S. Miles, M. Luck, J. Leite et al., Understanding Permissions through Graphical Norms, Declarative Agent Languages and Technologies VIII, 8th International Workshop, pp.167-184, 2010.
DOI : 10.1007/978-3-642-20715-0_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.2917

N. Oren, S. Panagiotidi, J. Vazquez-salceda, S. Modgil, M. Luck et al., Towards a Formalisation of Electronic Contracting Environments, Coordination, Organizations, Institutions and Norms in Agent Systems IV, pp.156-171, 2008.
DOI : 10.1142/S0218843005001110

Y. Shoham and M. Tennenholtz, On social laws for artificial agent societies: off-line design, Artificial Intelligence, vol.73, issue.1-2, pp.231-252, 1995.
DOI : 10.1016/0004-3702(94)00007-N

URL : http://doi.org/10.1016/0004-3702(94)00007-n

J. F. Sowa, Conceptual Graphs for a Data Base Interface, IBM Journal of Research and Development, vol.20, issue.4, pp.336-375, 1976.
DOI : 10.1147/rd.204.0336

R. Thomopoulos, J. R. Bourguet, B. Cuq, and A. Ndiaye, Short communication: answering queries that may have results in the future: a case study in food science, pp.491-495, 2010.

W. Woods and J. Schmolze, The KL-ONE family, Computers & Mathematics with Applications, vol.23, issue.2-5, pp.133-177, 1992.
DOI : 10.1016/0898-1221(92)90139-9

URL : http://doi.org/10.1016/0898-1221(92)90139-9

G. H. Wright, I. DEONTIC LOGIC, Mind, vol.LX, issue.237, pp.1-15, 1951.
DOI : 10.1093/mind/LX.237.1

URL : https://hal.archives-ouvertes.fr/hal-01268712