-
1
-
-
33846632990
-
Logic of Norms and Logic of Normative Propositions
-
Alchourrón, C. E. (1969). Logic of Norms and Logic of Normative Propositions, Logique et analyse 12: 242-268.
-
(1969)
Logique et analyse
, vol.12
, pp. 242-268
-
-
Alchourrón, C.E.1
-
4
-
-
33846593026
-
-
Allen, L. E. and Saxon, C. S. (1991). A-Hohfeld: A Language for Robust Structural Representation of Knowledge in the Legal Domain to Build Interpretation-Assistance Expert Systems: In Meyer, J.-J. C. and Wieringa, R. J. (eds.), Proceedings of the First International Workshop on Deontic Logic in Computer Science. Vrjie Universiteit: Amsterdam, 52-71.
-
Allen, L. E. and Saxon, C. S. (1991). A-Hohfeld: A Language for Robust Structural Representation of Knowledge in the Legal Domain to Build Interpretation-Assistance Expert Systems: In Meyer, J.-J. C. and Wieringa, R. J. (eds.), Proceedings of the First International Workshop on Deontic Logic in Computer Science. Vrjie Universiteit: Amsterdam, 52-71.
-
-
-
-
5
-
-
35248855977
-
-
Artikis, A., Sergot, M. J., and Pitt, J. (2002). Specifying Electronic Societies with the Causal Calculator. In AOSE 2002, 1-15.
-
Artikis, A., Sergot, M. J., and Pitt, J. (2002). Specifying Electronic Societies with the Causal Calculator. In AOSE 2002, 1-15.
-
-
-
-
6
-
-
77957784766
-
An Executable Specification of an Argumentation Protocol
-
ACM: New York, N.Y
-
Artikis, A., Sergot, M. J., and Pitt, J. (2003). An Executable Specification of an Argumentation Protocol. In Proceedings of the Ninth International Conference on Artificial Intelligence and Law (ICAIL), 1-11. ACM: New York, N.Y.
-
(2003)
Proceedings of the Ninth International Conference on Artificial Intelligence and Law (ICAIL)
, pp. 1-11
-
-
Artikis, A.1
Sergot, M.J.2
Pitt, J.3
-
7
-
-
33846621702
-
-
Azzoni, G. (1997). Regola tecnica. In Digesto, 14, 470-475, Turin: Utet.
-
Azzoni, G. (1997). Regola tecnica. In Digesto, Vol. 14, 470-475, Turin: Utet.
-
-
-
-
8
-
-
33846603899
-
-
Bentham, J. (1970). Of Laws in General. In H. L. A. Hart (ed.). Athlone: London (1st ed. 1872).
-
Bentham, J. (1970). Of Laws in General. In H. L. A. Hart (ed.). Athlone: London (1st ed. 1872).
-
-
-
-
9
-
-
84893627485
-
Lehrbuch der Pandekten
-
2nd ed, Erlangen
-
Brinz, A. (1873). Lehrbuch der Pandekten. (2nd ed.). Deichert: Erlangen.
-
(1873)
Deichert
-
-
Brinz, A.1
-
10
-
-
0001609162
-
-
Calabresi, G. and Malamed, A. D. (1972). Property Rules, Inalienability: One View of the Cathedral, Harvard Law Journal 85: 1089-1128.
-
(1972)
Property Rules, Inalienability: One View of the Cathedral, Harvard Law Journal
, vol.85
, pp. 1089-1128
-
-
Calabresi, G.1
Malamed, A.D.2
-
13
-
-
0000160945
-
On the Formal Specification of Electronic Institutions
-
Springer: Berlin
-
Esteva, M., Rodríguez-Aguilar, J. A., Sierra, C., Garcia, P., and Arcos, J. L. (2001). On the Formal Specification of Electronic Institutions. In Agent Mediated Electronic Commerce, The European AgentLink Perspective, 126-147. Springer: Berlin.
-
(2001)
Agent Mediated Electronic Commerce, The European AgentLink Perspective
, pp. 126-147
-
-
Esteva, M.1
Rodríguez-Aguilar, J.A.2
Sierra, C.3
Garcia, P.4
Arcos, J.L.5
-
14
-
-
16244402630
-
Declarative Power, Representation, and Mandate: A Formal Analysis
-
IOS: Amsterdam
-
Gelati, J., Governatori, G., Rotolo, A., and Sartor, G. (2002). Declarative Power, Representation, and Mandate: A Formal Analysis. In Proceedings of the Fifteenth Annual Conference on Legal Knowledge and Information Systems (JURIX), 41-52. IOS: Amsterdam.
-
(2002)
Proceedings of the Fifteenth Annual Conference on Legal Knowledge and Information Systems (JURIX)
, pp. 41-52
-
-
Gelati, J.1
Governatori, G.2
Rotolo, A.3
Sartor, G.4
-
15
-
-
1642484543
-
Non-monotonic Causal Theories
-
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., and Turner, H. (2004). Non-monotonic Causal Theories, Artificial Intelligence 153: 49-104.
-
(2004)
Artificial Intelligence
, vol.153
, pp. 49-104
-
-
Giunchiglia, E.1
Lee, J.2
Lifschitz, V.3
McCain, N.4
Turner, H.5
-
16
-
-
33846598610
-
The Importance of Non-monotonicity for Legal Reasoning: In Fiedler, H
-
Haft, F, and Traunmüller, R, eds, Attempto: Tübingen
-
Gordon, T. F. (1988). The Importance of Non-monotonicity for Legal Reasoning: In Fiedler, H., Haft, F., and Traunmüller, R. (eds.), Expert Systems in Law: Impacts on Legal Theory and Computer Law.. Attempto: Tübingen, 111-126.
-
(1988)
Expert Systems in Law: Impacts on Legal Theory and Computer Law
, pp. 111-126
-
-
Gordon, T.F.1
-
17
-
-
77950411147
-
Normative Positions in Defeasible Logic
-
ACM: New York, N.Y
-
Governatori, G., Rotolo, A., and Sartor, G. (2005). Normative Positions in Defeasible Logic. In Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL), 25-34. ACM: New York, N.Y.
-
(2005)
Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL)
, pp. 25-34
-
-
Governatori, G.1
Rotolo, A.2
Sartor, G.3
-
18
-
-
0003725028
-
-
Harvard University Press: Cambridge, Mass
-
Grice, P. (1989). Studies in the Way of Words. Harvard University Press: Cambridge, Mass.
-
(1989)
Studies in the Way of Words
-
-
Grice, P.1
-
21
-
-
33846635209
-
-
West Publishing: St. Paul, Minn
-
Haggard, T. R. (1996). Legal Drafting. West Publishing: St. Paul, Minn.
-
(1996)
Legal Drafting
-
-
Haggard, T.R.1
-
22
-
-
33846586626
-
-
Hart, H. L. A. (1951). The Ascription of Responsibility and Rights: In Flew, A. (ed.), Logic and Language. Blackwell: Oxford, 145-166(1st ed., 1948-1949).
-
Hart, H. L. A. (1951). The Ascription of Responsibility and Rights: In Flew, A. (ed.), Logic and Language. Blackwell: Oxford, 145-166(1st ed., 1948-1949).
-
-
-
-
23
-
-
0004220262
-
-
Oxford University Press: Oxford
-
Hart, H. L. A. (1961). The Concept of Law. Oxford University Press: Oxford.
-
(1961)
The Concept of Law
-
-
Hart, H.L.A.1
-
25
-
-
77950564682
-
Formal Theories of Rights
-
Oslo
-
Herrestad, H. (1995). Formal Theories of Rights. Juristforbundets: Oslo.
-
(1995)
Juristforbundets
-
-
Herrestad, H.1
-
27
-
-
0002953848
-
Some Fundamental Legal Conceptions as Applied in Judicial Reasoning. I
-
Hohfeld, W. N. (1913). Some Fundamental Legal Conceptions as Applied in Judicial Reasoning. I, Yale Law Journal 23: 16-59.
-
(1913)
Yale Law Journal
, vol.23
, pp. 16-59
-
-
Hohfeld, W.N.1
-
28
-
-
0001232077
-
Some Fundamental Legal Conceptions as Applied in Judicial Reasoning. II
-
Hohfeld, W. N. (1917). Some Fundamental Legal Conceptions as Applied in Judicial Reasoning. II, Yale Law Journal 26: 710-770.
-
(1917)
Yale Law Journal
, vol.26
, pp. 710-770
-
-
Hohfeld, W.N.1
-
29
-
-
33846572541
-
-
Horwich, P. (1998). Truth. Clarendon: Oxford.
-
Horwich, P. (1998). Truth. Clarendon: Oxford.
-
-
-
-
30
-
-
33846627934
-
Conventional Signalling Acts and Conversation
-
Dignum, F, ed, Melbourne, Australia, July 14, Springer: Berlin. 2003
-
Jones, A. J., and Parent, X. (2003). Conventional Signalling Acts and Conversation. In Dignum, F. (ed.), Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Springer: Berlin.
-
(2003)
Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL
-
-
Jones, A.J.1
Parent, X.2
-
31
-
-
0007727394
-
Ideality, Subideality and Deontic Logic
-
Jones, A. J. and Pörn, I. (1985). Ideality, Subideality and Deontic Logic, Synthese 65: 275-290.
-
(1985)
Synthese
, vol.65
, pp. 275-290
-
-
Jones, A.J.1
Pörn, I.2
-
32
-
-
84942856222
-
-
Jones, A. J. and M. J., Sergot. (1992). Formal Specification of Security Requirements Using the Theory of Normative Positions: In Deswarte, Y. (ed.), Proceeding of Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25. Springer: Berlin, 103-121.
-
Jones, A. J. and M. J., Sergot. (1992). Formal Specification of Security Requirements Using the Theory of Normative Positions: In Deswarte, Y. (ed.), Proceeding of Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25. Springer: Berlin, 103-121.
-
-
-
-
33
-
-
0001276448
-
A Formal Characterisation of Institutionalised Power
-
Jones, A. J. and Sergot, M. J. (1996). A Formal Characterisation of Institutionalised Power, Journal of the IGPL 4: 429-45.
-
(1996)
Journal of the IGPL
, vol.4
, pp. 429-445
-
-
Jones, A.J.1
Sergot, M.J.2
-
34
-
-
33846560836
-
-
Kanger, S. (1971). New Foundations for Ethical Theory: In Hilpinen, R. (ed.), Deontic Logic. Reidel: Dordrecht, 36-58.
-
Kanger, S. (1971). New Foundations for Ethical Theory: In Hilpinen, R. (ed.), Deontic Logic. Reidel: Dordrecht, 36-58.
-
-
-
-
35
-
-
84979103541
-
Law and Logic
-
Kanger, S. (1972). Law and Logic, Theoria 38: 105-132.
-
(1972)
Theoria
, vol.38
, pp. 105-132
-
-
Kanger, S.1
-
37
-
-
33846649284
-
-
Kelsen, H. (1967). The Pure Theory of Law. Trans. M. Knight. University of California Press: Berkeley, Cal. (1st ed. in German 1960).
-
Kelsen, H. (1967). The Pure Theory of Law. Trans. M. Knight. University of California Press: Berkeley, Cal. (1st ed. in German 1960).
-
-
-
-
39
-
-
33846585210
-
-
Krogh, C. and Herrestad, H. (1996). Getting Personal: Some Notes on the Relationship between Personal and Impersonal Obligation: In Brown, M. and Carmo, J. (eds.), Deontic Logic, Agency and Normative Systems. Springer: Berlin, 134-153.
-
Krogh, C. and Herrestad, H. (1996). Getting Personal: Some Notes on the Relationship between Personal and Impersonal Obligation: In Brown, M. and Carmo, J. (eds.), Deontic Logic, Agency and Normative Systems. Springer: Berlin, 134-153.
-
-
-
-
42
-
-
18744390273
-
Defeasibility in Law and Logic: In Bankowski, Z
-
White, I, and Hahn, U, eds, Kluwer Academic: Dordrecht
-
MacCormick, D. N. (1995). Defeasibility in Law and Logic: In Bankowski, Z., White, I., and Hahn, U. (eds.), Informatics and the Foundations of Legal Reasoning. Kluwer Academic: Dordrecht, 99-117.
-
(1995)
Informatics and the Foundations of Legal Reasoning
, pp. 99-117
-
-
MacCormick, D.N.1
-
43
-
-
33750691235
-
Children's Rights: A Test-Case for Theories of Rights
-
MacCormick, N. (1976). Children's Rights: A Test-Case for Theories of Rights, Archiv fur Rechts- und Sozialphilosophie 32: 305-317.
-
(1976)
Archiv fur Rechts- und Sozialphilosophie
, vol.32
, pp. 305-317
-
-
MacCormick, N.1
-
44
-
-
0004035958
-
On the Formal Representation of Rights Relations
-
Makinson, D. (1986). On the Formal Representation of Rights Relations, Journal of Philosophical Logic 15: 403-425.
-
(1986)
Journal of Philosophical Logic
, vol.15
, pp. 403-425
-
-
Makinson, D.1
-
45
-
-
33846569638
-
-
McCarty, L. T. (1986). Permissions and Obligations: An Informal Introduction: In Martino, A. A. and Socci, F. (eds.). Automated Analysis of Legal Texts. North Holland: Amsterdam, 307-337.
-
McCarty, L. T. (1986). Permissions and Obligations: An Informal Introduction: In Martino, A. A. and Socci, F. (eds.). Automated Analysis of Legal Texts. North Holland: Amsterdam, 307-337.
-
-
-
-
47
-
-
84972542053
-
A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic
-
Meyer, J.-J. C. (1988). A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic, Notre Dame Journal of Formal Logic 29: 109-136.
-
(1988)
Notre Dame Journal of Formal Logic
, vol.29
, pp. 109-136
-
-
Meyer, J.-J.C.1
-
50
-
-
0030234961
-
Rules about Rules: Assessing Conflicting Arguments in Legal Reasoning
-
Prakken, H. and Sartor, G. (1996). Rules about Rules: Assessing Conflicting Arguments in Legal Reasoning, Artificial Intelligence and Law 4: 331-368.
-
(1996)
Artificial Intelligence and Law
, vol.4
, pp. 331-368
-
-
Prakken, H.1
Sartor, G.2
-
51
-
-
33846562678
-
-
Prakken, H. and Vreeswijk, G. A. W. (2002). Logical Systems for Defeasible Argumentation: In Gabbay, D. and Günthner, F. (eds.), Handbook of Philosophical Logic. Kluwer: Dordrecht, 218-319.
-
Prakken, H. and Vreeswijk, G. A. W. (2002). Logical Systems for Defeasible Argumentation: In Gabbay, D. and Günthner, F. (eds.), Handbook of Philosophical Logic. Kluwer: Dordrecht, 218-319.
-
-
-
-
52
-
-
0002796363
-
On the Nature of Rights
-
Raz, J. (1984). On the Nature of Rights, Mind 93: 194-214.
-
(1984)
Mind
, vol.93
, pp. 194-214
-
-
Raz, J.1
-
59
-
-
33846601097
-
-
Sergot, M. J. (1999). Normative Positions: In McNamara, P. and Prakken, H. (eds.), Norms, Logics and Information Systems. IOS: Amsterdam, 289-308.
-
Sergot, M. J. (1999). Normative Positions: In McNamara, P. and Prakken, H. (eds.), Norms, Logics and Information Systems. IOS: Amsterdam, 289-308.
-
-
-
-
60
-
-
85008935532
-
A Computational Theory of Normative Positions
-
Sergot, M. J. (2001). A Computational Theory of Normative Positions, ACM Transactions on Computational Logic 2: 581-662.
-
(2001)
ACM Transactions on Computational Logic
, vol.2
, pp. 581-662
-
-
Sergot, M.J.1
-
61
-
-
0035518449
-
On the Representation of Action and Agency in the Theory of Normative Positions
-
Sergot, M. J. and Richards, R. C. M. (2001). On the Representation of Action and Agency in the Theory of Normative Positions, Fundamenta Informaticae 48: 273-293.
-
(2001)
Fundamenta Informaticae
, vol.48
, pp. 273-293
-
-
Sergot, M.J.1
Richards, R.C.M.2
-
62
-
-
0001856113
-
Intentions and Conventions in Speech Acts
-
Strawson, P. F. (1964). Intentions and Conventions in Speech Acts, Philosophical Review 73: 439-460.
-
(1964)
Philosophical Review
, vol.73
, pp. 439-460
-
-
Strawson, P.F.1
-
64
-
-
0039193007
-
Deontic Logic
-
von Wright, G. H. (1951). Deontic Logic, Mind 60: 1-15.
-
(1951)
Mind
, vol.60
, pp. 1-15
-
-
von Wright, G.H.1
-
66
-
-
53349159194
-
Norms, Truth and Logic
-
Blackwell: London
-
von Wright G. H. (1983). Norms, Truth and Logic. In: Practical Reason, 130-209. Blackwell: London.
-
(1983)
Practical Reason
, pp. 130-209
-
-
von Wright, G.H.1
-
67
-
-
33846576800
-
Lehrbuch des Pandektenrechts
-
6th ed, Frankfurt am Main
-
Windscheid, B. (1887). Lehrbuch des Pandektenrechts. (6th ed.). Rütten und Loening: Frankfurt am Main.
-
(1887)
Rütten und Loening
-
-
Windscheid, B.1
|