Abstract and Concrete Norms in Institutions

and Concrete Norms in Institutions

[1]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[2]  Nora Stigol.  John R. Searle, The Construction of Social Reality , 1997 .

[3]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic Vol. 10 , 2001 .

[4]  Andrew J. I. Jones.  Deontic Logic and Legal Knowledge Representation , 1990 .

[5]  Henry Prakken,et al.  A logical framework for modelling legal argument , 1993, International Conference on Artificial Intelligence and Law.

[6]  Patrick Brézillon,et al.  Modeling and Using Context , 1999, Lecture Notes in Computer Science.

[7]  J. Kemp,et al.  The Concept of Law , 1962 .

[8]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[9]  Alf Ross,et al.  Hart: The Concept of Law , 1962 .

[10]  Fausto Giunchiglia,et al.  Contexts, locality and generality , 1996 .

[11]  J. Searle.  The Construction of Social Reality , 1997 .

[12]  Frank Dignum,et al.  Agents, Markets, Institutions, and Protocols , 2001, AgentLink.

[13]  Luis Fariñas del Cerro,et al.  Modal deduction with applications in epistemic and temporal logics , 1995 .

[14]  Marek J. Sergot,et al.  Deontic logic in the representation of law: Towards a methodology , 2004, Artificial Intelligence and Law.

[15]  G. Ragsdell.  Systems , 2002, Economics of Visual Art.

[16]  Luciano Serafini,et al.  Two Formalizations of Context: A Comparison , 2001, CONTEXT.

[17]  L. Armour.  Law and Reason , 1975 .

[18]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[19]  Frank Dignum.  Norms and Electronic Institutions , 2006, DEON.

[20]  Nguyen Forsberg,et al.  Institutional change and economic performance in Greece , 2003 .

[21]  Grigoris Antoniou,et al.  Nonmonotonic Reasoning and Logic Programming , 1997 .

[22]  Ian A. Mason,et al.  The Semantics of Propositional Contexts , 1994, ISMIS.

[23]  T. Honderich.  The Oxford Companion to Philosophy , 1995 .

[24]  Aleksander Peczenik,et al.  On law and reason , 1989 .

[25]  F. Dignum.  Abstract Norms and Electronic Institutions , 2002 .

[26]  Joseph Margolis.  Alvin I. Goldman, A Theory of Human Action. , 1974 .

[27]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[28]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[29]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument , 1997 .

[30]  Johann Eder,et al.  Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.

[31]  Jaap Hage,et al.  The law as a dynamic interconnected system of states of affairs: a legal top ontology , 1999, Int. J. Hum. Comput. Stud..

[32]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[33]  Frank Dignum,et al.  Defeasible Reasoning with Legal Rules. , 1996 .

[34]  Henry Prakken.  Two approaches to the formalisation of defeasible deontic reasoning , 1996, Stud Logica.

[35]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

[36]  A. Goldman.  Theory of Human Action , 1970 .

[37]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[38]  D. North.  Institutions, Institutional Change and Economic Performance: Economic performance , 1990 .

[39]  Trevor J. M. Bench-Capon,et al.  Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation , 1987, ICAIL '87.