-
2
-
-
0347671253
-
Knowledge-based Systems and Legal Applications
-
London, UK: Academic Press
-
BENCH-CAPON, T. J. M. (1991). Knowledge-based Systems and Legal Applications, APIC Series No. 36. London, UK: Academic Press.
-
(1991)
APIC Series No. 36
, vol.36
-
-
Bench-Capon, T.J.M.1
-
4
-
-
85033566750
-
Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation
-
Boston, MA, USA
-
BENCH-CAPON, T. J. M. ROBINSON, G. O., ROUTEN, T. W. & SERGOT, M. J. (1987). Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation. Proceedings of the 1st International Conference on Artificial Intelligence and Law, pp. 190-198. Boston, MA, USA.
-
(1987)
Proceedings of the 1st International Conference on Artificial Intelligence and Law
, pp. 190-198
-
-
Bench-Capon, T.J.M.1
Robinson, G.O.2
Routen, T.W.3
Sergot, M.J.4
-
5
-
-
0003846812
-
-
J. A. BREUKER & W. VAN DE VELDE, Amsterdam, The Netherlands: IOS Press
-
BREUKER, J. A. & VAN DE VELDE, W. (1994). In J. A. BREUKER & W. VAN DE VELDE, CommonKADS Library for Expertise Modelling, Reusable Problem Solving Components, Amsterdam, The Netherlands: IOS Press.
-
(1994)
CommonKADS Library for Expertise Modelling, Reusable Problem Solving Components
-
-
Breuker, J.A.1
Van De Velde, W.2
-
6
-
-
0037575249
-
-
Rechtswetenschappelijke Reeks. Groningen, The Netherlands: Wolters-Noordhoff
-
BROUWER, P. W. (1990). Samenhang in recht; een analytische studie. Rechtswetenschappelijke Reeks. Groningen, The Netherlands: Wolters-Noordhoff.
-
(1990)
Samenhang in Recht; een Analytische Studie
-
-
Brouwer, P.W.1
-
7
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
FIKES, R. E. & NILSSON, N. J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2, 198-208.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 198-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
8
-
-
85030060366
-
The use of KADS to model an intellectual property legal practice: A case study
-
Amsterdam, The Netherlands
-
GARDNER, K. M. & SPELMAN, K. C. (1993). The use of KADS to model an intellectual property legal practice: a case study. Proceedings Kennistechnologie '93, pp. 439-443. Amsterdam, The Netherlands.
-
(1993)
Proceedings Kennistechnologie '93
, pp. 439-443
-
-
Gardner, K.M.1
Spelman, K.C.2
-
9
-
-
0010223835
-
Hard cases: A procedural approach
-
HAGE, J. C., LEENES, R. & LODDER, A. R. (1994). Hard cases: a procedural approach. Artificial Intelligence and Law, 2, 113-167.
-
(1994)
Artificial Intelligence and Law
, vol.2
, pp. 113-167
-
-
Hage, J.C.1
Leenes, R.2
Lodder, A.R.3
-
11
-
-
0042410222
-
Deontic logic in the representation of law: Towards a methodology
-
JONES, A. J. I. & SERGOT, M. J. (1992). Deontic logic in the representation of law: towards a methodology. Artificial Intelligence and Law, 1, 45-64.
-
(1992)
Artificial Intelligence and Law
, vol.1
, pp. 45-64
-
-
Jones, A.J.I.1
Sergot, M.J.2
-
12
-
-
0004287704
-
Pure Theory of Law
-
Translation of by Max Knight, First published in 1934. Berkeley, USA: University of California Press
-
KELSEN, H. (1978). Pure Theory of Law. Translation of "Reine Rechtslehre" (2nd revised edition, 1960) by Max Knight, First published in 1934. Berkeley, USA: University of California Press.
-
(1978)
"Reine Rechtslehre" (2nd Revised Edition, 1960)
-
-
Kelsen, H.1
-
13
-
-
0001994269
-
General theory of norms
-
Translation of Translate by Hartney Oxford, UK: Clarendon Press
-
KELSEN, H. (1991). General theory of norms. Translation of "Allgemeine Theorie der Normen" Translate by Hartney) Oxford, UK: Clarendon Press.
-
(1991)
Allgemeine Theorie der Normen
-
-
Kelsen, H.1
-
14
-
-
0012347994
-
Frame-Based Conceptual Models of Statute Law
-
The Hague, The Netherlands: Kluwer Law International
-
KRALINGEN, R. W. VAN (1995). Frame-Based Conceptual Models of Statute Law, Computer/Law Series Vol. 16. The Hague, The Netherlands: Kluwer Law International.
-
(1995)
Computer/Law Series
, vol.16
-
-
Van Kralingen, R.W.1
-
17
-
-
0347288039
-
The logic of decision and action
-
RESCHER, N. (1967). The logic of decision and action. In Aspects of Action. Appendix II, pp. 215-219.
-
(1967)
Aspects of Action. Appendix II
, pp. 215-219
-
-
Rescher, N.1
-
18
-
-
0346026687
-
On the characterization of actions
-
M. Brand, (Ed.). Pittsburgh, USA: University of Pittsburgh, Scott Foresman and Company
-
RESCHER, N. (1970). On the characterization of actions. In M. Brand, (Ed.). The Nature of Human Action, pp. 247-254. Pittsburgh, USA: University of Pittsburgh, Scott Foresman and Company.
-
(1970)
The Nature of Human Action
, pp. 247-254
-
-
Rescher, N.1
-
19
-
-
0010278205
-
-
New York, USA: Humanities Press
-
ROSS, A. (1968). Directives and norms. New York, USA: Humanities Press.
-
(1968)
Directives and Norms
-
-
Ross, A.1
-
21
-
-
0004097793
-
-
Cambridge: Cambridge University Press Dutch translation by F.H. van Eemeren, Utrecht, The Netherlands: Het Spectrum
-
SEARLE, J. R. (1969). Speech Acts. Cambridge: Cambridge University Press (Dutch translation by F.H. van Eemeren, 1977, Utrecht, The Netherlands: Het Spectrum.
-
(1969)
Speech Acts
-
-
Searle, J.R.1
-
22
-
-
0012347995
-
Knowledge Specification for Multiple Legal Tasks; A Case Study of the Interaction Problem in the Legal Domain
-
The Hague, The Netherlands: Kluwer Law International
-
VISSER, P. R. S. (1995). Knowledge Specification for Multiple Legal Tasks; A Case Study of the Interaction Problem in the Legal Domain, Computer/Law Series, Vol. 17. The Hague, The Netherlands: Kluwer Law International.
-
(1995)
Computer/Law Series
, vol.17
-
-
Visser, P.R.S.1
-
23
-
-
0346026689
-
The formal specification of a legal ontology
-
Van Kralingen et al., (Eds.), The formal specification of a legal ontology. Tilburg, The Netherlands
-
VISSER, P. R. S. & BENCH-CAPON, T. J. M. (1996). The formal specification of a legal ontology. In: Van Kralingen et al., (Eds.), The formal specification of a legal ontology. Proceedings of 9th International Conference on Legal Knowledge-Based Systems (JURIX'96), pp. 15-24. Tilburg, The Netherlands.
-
(1996)
Proceedings of 9th International Conference on Legal Knowledge-Based Systems (JURIX'96)
, pp. 15-24
-
-
Visser, P.R.S.1
Bench-Capon, T.J.M.2
-
26
-
-
0030691404
-
A method for the development of legal knowledge systems
-
Melbourne, Australia
-
VISSER, P. R. S., VAN KRALINGEN, R. W. & BENCH-CAPON, T. J. M. (1997). A method for the development of legal knowledge systems. Proceedings of the 6th International Conference on Artificial Intelligence and Law. pp. 151-160. Melbourne, Australia.
-
(1997)
Proceedings of the 6th International Conference on Artificial Intelligence and Law
, pp. 151-160
-
-
Visser, P.R.S.1
Van Kralingen, R.W.2
Bench-Capon, T.J.M.3
-
27
-
-
85030074286
-
-
Doctoral Thesis, Catholic University of Brabant, W. E. J. Tjeenk Willing, Zwolle, The Netherlands (in Dutch)
-
VOERMANS, W. (1995). Sturen in de mist ... maar dan met radar; de mogelijkheid van de toegepaste informatica bij het ontwerpen van regelgeving. Doctoral Thesis, Catholic University of Brabant, W. E. J. Tjeenk Willing, Zwolle, The Netherlands (in Dutch).
-
(1995)
Sturen in de Mist ... Maar Dan Met Radar; de Mogelijkheid Van de Toegepaste Informatica Bij Het Ontwerpen Van Regelgeving
-
-
Voermans, W.1
-
28
-
-
0003468437
-
-
International Library of Philosophy and Scientific Method. London, UK: Routledge & Kegan Paul
-
WRIGHT, G. H. von (1963). Norm and Action; a Logical Enquiry, International Library of Philosophy and Scientific Method. London, UK: Routledge & Kegan Paul.
-
(1963)
Norm and Action; A Logical Enquiry
-
-
Von Wright, G.H.1
|