The Description Logic Handbook, 2003. ,
DOI : 10.1017/CBO9780511711787
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
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
Flexible social laws, Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp.688-693, 1995. ,
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs, 2009. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00355336
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
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
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
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
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
A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-95, 1986. ,
DOI : 10.1007/BF03037383
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
Deontic logic The Stanford Encyclopedia of Philosophy, 2010. ,
Handling mitigating circumstances for electronic contracts, Proceedings of the AISB 2008 Symposium on Behaviour Regulation in Multi-agent Systems, pp.37-42 ,
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
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
Towards a Formalisation of Electronic Contracting Environments, Coordination, Organizations, Institutions and Norms in Agent Systems IV, pp.156-171, 2008. ,
DOI : 10.1142/S0218843005001110
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
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
Short communication: answering queries that may have results in the future: a case study in food science, pp.491-495, 2010. ,
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
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