Normative Systems: The meeting point between Jurisprudence and Information Technology? A position paper

SoMeT_07 - The 6th International Conference on Software Methodologies, Tools and Techniques

Volumn , Issue , 2007, Pages

  Logrippo, Luigi ^a  

^a UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DEFEASIBLE LOGIC; LEGAL THEORY; MODEL CHECKER; NORMATIVE SYSTEM; POLICY SYSTEMS; POSITION PAPERS; RESEARCH AREAS; THEOREM PROVERS;

MODEL CHECKING; RESEARCH;

INFORMATION TECHNOLOGY;

EID: 84858693470     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Alchourròn, C.E., Bulygin, E.: Normative Systems. Springer, 1971.
2. Casanovas, P., Biasiotti, M.A., Francesconi, F., Sagri, M.T. (Eds): Proc. of the Workshop on Legal Ontologies and Artificial Intelligence Techniques (LOAIT 2007), June 2007.
3. Chiassoni, P.: A tale from two traditions: Civil law, Common law, and legal gaps. Analisi e Diritto, 2006, 51-74. http://www.giuri.unige.it/intro/ dipist/digita/filo/testi/analisi-2007/accessed June 2007.
4. Conte, A.G. : Saggio sulla completezza degli ordinamenti giuridici. Giappichelli, 1962.
5. Elhag, A. A. O., Breuker, J. A. P. J., Brouwer, P. W. : On the formal analysis of normative conflicts. Information & Communications Technology Law, 9:3 (2000), 207- 217.
6. Ferraiolo, D.F., Kuhn, D.R., Chandramouli, R.: Role-based Access Control. Artech House, 2003.
7. Gervasi, V., Zowghi, D.: Reasoning about inconsistencies in natural language requirements. ACM Transactions on Software Engineering and Methodology, 14(3):277-330, July 2005. (Pubitemid 43891482)
8. Jones, A.J.I., Sergot, M.: On the characterisation of law and computer systems: The normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, J.-J.C. Meyer and R.J. Wieringa (Eds), Wiley, 1993.
9. Kelsen, H.: General Theory of Law and State. Harvard University Press, 1945.
10. Lacy, L.W.: OWL: Representing Information Using The Web Ontology Language. Trafford, 2005.
11. Lee, A. J., Boyer, J. P., Olson, L. E., and Gunter, C. A.: Defeasible security policy composition for web services. In Proc. of the Fourth ACM Workshop on Formal Methods in Security (Alexandria, Virginia, USA, November 03 - 03, 2006).
12. McIver, W.J.: Software support for multilingual legislative drafting. CIRN Conference and Colloquium, Oct. 2004.
13. Medjahed, B., Benatallah, B., Bouguettaya, A., Ngu, A.H.H., Elmagarmid, A.K.: Business-to-business interactions: issues and enabling technologies. The Very Large Data Base Journal (2003) 12: 59-85. (Pubitemid 36752334)
14. Meyer, J.J.C., Wieringa, R.J. (Eds.): Deontic Logic in Computer Science: Normative System Specification. Wiley, 1993.
15. Nuseibeh, B., Easterbrook, S., Russo, A.: Making Inconsistency Respectable in Software Development, Journal of Systems and Software, 58(2):171-180, 2001. (Pubitemid 32768005)
16. Nute, D.: Defeasible logic. In Handbook of logic in artificial intelligence and logic programming, volume 3: Nonmonotonic reasoning and uncertain reasoning, 353-395. Oxford University Press, 1994.
17. OASIS, Organization for the Advancement of Structured Information Standards.: XACML, eXtensible Access Control Language. www.oasis-open.org/ committees/xacml/accessed May 2007.
18. Paton, N.W. (Ed.): Active Rules in Database Systems. Springer, 1999. Pitt. J. (Ed.): Open Agent Societies: Normative Specifications in Multi-Agent Systems. Wiley, 2004.
19. Reiff-Marganiec, S., Ryan, M.D.: Feature Interactions in Telecommunications and Software Systems VIII, IOS Press, 2005.
20. Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, 2005.
21. Valente, A.: Legal knowledge engineering: A modeling approach. IOS Press, 1995.
22. van Kralingen, R.W., van den Herik, H.J., Prins, J.E.J., Sergot, M., Zeleznikow, J. (eds.): Legal Knowledge Based Systems: Foundations of legal knowledge systems. Proc. of Jurix 2006, IOS Press, 2006.
23. Verheij, B., Hage, J.C., van den Herik, H. J.: An integrated view on rules and principles. Artificial Intelligence and Law, Vol. 6 (1998), No. 1, 3-26. (Pubitemid 128512374)