SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Artificial Intelligence and Law

Volumn 3, Issue 4, 1995, Pages 221-265

Formalizing multiple interpretation of legal knowledge

(1) Hamfelt, Andreas a

a UPPSALA UNIVERSITY (Sweden)

Author keywords

metalogic knowledge representation; metalogic programming; multiple interpretation; open texture; schemata; vagueness

Indexed keywords

HIERARCHICAL SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; KNOWLEDGE REPRESENTATION; LAWS AND LEGISLATION; LOGIC PROGRAMMING;

METAKNOWLEDGE; METALOGIC KNOWLEDGE REPRESENTATION; METALOGIC PROGRAMMING; MULTIPLE INTERPRETATION; OPEN TEXTURE;

ARTIFICIAL INTELLIGENCE;

EID: 0029463473 PISSN: 09248463 EISSN: 15728382 Source Type: Journal
DOI: 10.1007/BF00871851 Document Type: Article

Times cited : (14)

References (36)

1
- 84865637703
- More IA Needed in AI: Interpretation Assistance for Coping with the Problem of Multiple Structural Interpretations
- Association of Computing Machinery, Oxford
- (1991) Proceedings of The Third International Conference on Artificial Intelligence and Law , pp. 53-61
- Allen, L.E.¹ Saxon, S.S.²

2
- 0003986649
- Harvard University Press, Cambridge, Mass
- (1982) Nicomachean Ethics
- Aristotle¹

3
- 0004317617
- MIT Press, Cambridge, Mass
- (1990) Modeling Legal Argument
- Ashley, K.D.¹

4
- 84936143862
- Ashley, K. D. & Rissland, E. L. 1985. Toward Modelling Legal Argument. In Pre-Proceedings of The Second International Congress, on Logic, Informatics, and Law, 97–106. Florence.

5
- 84936075807
- Formalising Multiple Interpretations of Law as Metalogic Programs
- (1993) J. Law, Computer & Artificial Intelligence , vol.2 , pp. 165-193
- Barklund, J.¹ Hamfelt, A.²

6
- 0028257669
- Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic
- (1994) J. Logic Programming , vol.18 , pp. 55-80
- Barklund, J.¹ Hamfelt, A.²

7
- 0342896348
- Isomorphism and Legal Knowledge Based Systems
- (1992) J. Artificial Intelligence and Law , vol.1 , pp. 65-86
- Bench-Capon, T.J.M.¹ Coenen, F.P.²

8
- 0008163591
- Toward a Rule Based Representation of Open Texture in Law
- C., Walter, Quorum Books, New York
- (1988) Computer Power and Legal Language , pp. 39-60
- Bench-Capon, T.¹ Sergot, M.²

9
- 84963132888
- Indeterminacy: A Challenge to Logic-Based Models of Legal Reasoning
- (1987) International Review of Law, Computers & Technology , vol.3 , pp. 1-35
- Berman, D.H.¹ Hafner, C.D.²

10
- 0002830387
- Amalgamating Language and Metalanguage in Logic Programming
- K. L., Clark, S.-Å., Tärnlund, Academic Press, London
- (1982) Logic Programming , pp. 153-172
- Bowen, K.A.¹ Kowalski, R.A.²

11
- 84997012053
- Coping with Change
- Association of Computing Machinery, Oxford
- (1991) Proceedings of The Third International Conference on Artificial Intelligence and Law , pp. 69-75
- Bratley, P.¹ Fremont, J.² Mackaay, E.³ Poulin, D.⁴

12
- 84936131447
- Clark, K. L. 1979. Predicate Logic as a Computational Formalism, Research Report 79/59, Department of Computing, Imperial College.

13
- 0342275495
- Department of Computing, Imperial College, London
- (1987) Meta-language in Logic Programming
- Eshghi, K.¹

14
- 0010223835
- Hard Cases: A Procedural Approach
- (1994) Artificial Intelligence and Law , vol.2 , pp. 113-167
- Hage, J.C.¹ Leenes, R.² Lodder, A.R.³

15
- 84916489460
- Uppsala University, Uppsala
- (1990) The Multilevel Structure of Legal Knowledge and its Representation
- Hamfelt, A.¹

16
- 84916515078
- Uppsala University, Uppsala
- (1992) Metalogic Representation of Multilayered Knowledge
- Hamfelt, A.¹

17
- 84936157496
- Hamfelt, A. & Barklund, J. 1989. Metalevels in Legal Knowledge and their Runnable Representation in Logic. In A. A. Martino (ed.) Pre-Proceedings of The Third International Congress, on Logic, Informatics, and Law, II, 557–576. Florence.

18
- 0345779122
- Metaprogramming for Representation of Legal Principles
- M., Bruynooghe, Katholieke Universiteit Leuven, Leuven
- (1990) Proceedings of The Second Workshop on Metaprogramming in Logic , pp. 105-122
- Hamfelt, A.¹ Barklund, J.²

19
- 84936144602
- UPMAIL TR, 66, Computing Science Department, Uppsala University, Uppsala
- (1991) Metalogic Representation of Stratified Knowledge
- Hamfelt, A.¹ Hansson, Å.²

20
- 84936090689
- UPMAIL TR, 68, Computing Science Department, Uppsala University, Uppsala
- (1991) Representation of Fragmentary and Multilayered Knowledge — a Semiformal Metatheory as an Interactive Metalogic Program
- Hamfelt, A.¹ Hansson, Å.²

21
- 84936072228
- Hamfelt, A. & Hansson, Å. 1992a. A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program. In H. Tanaka (ed.) Proceedings of The International Conference on Fifth Generation Computer Systems, 1107–1114, Ohmsha, Tokyo.

22
- 84936100793
- Representation of Fragmentary and Multilayered Knowledge
- A., Pettorossi, Lecture Notes in Computer Science, 649, Springer-Verlag, Berlin
- (1992) Meta-Programming in Logic , pp. 321-335
- Hamfelt, A.¹ Hansson, Å.²

23
- 84936138114
- Hamfelt, A. & Fischer Nilsson, J. 1994. Inductive Metalogic Programming. In S. Wrobel (ed.) Proceedings of The Fourth International Workshop on Inductive Logic Programming, 85–96, GMD-Studien Nr. 237, ISSN 0170-8120, Bad Honnef/Bonn.

24
- 0004220262
- Clarendon Press, Oxford
- (1961) The Concept of Law
- Hart, H.L.A.¹

25
- 78049295078
- Springer-Verlag, Vienna
- (1972) Law and Logic
- Horoviz, J.¹

26
- 0004210235
- North-Holland, New York
- (1980) Introduction to Metamathematics
- Kleene, S.C.¹

27
- 84984059338
- The Use of Logical Models in Legal Problem Solving
- (1990) Ratio Juris , vol.3 , pp. 201-218
- Kowalski, R.A.¹ Sergot, M.J.²

28
- 0023422739
- SOAR: An Architecture for General Intelligence
- (1987) J. Artificial Intelligence , vol.33 , pp. 1-64
- Laird, J.E.¹ Newell, A.² Rosenbloom, P.S.³

29
- 0028429573
- Inductive Logic Programming: Theory and Methods
- (1994) The Journal of Logic Programming , vol.19 , Issue.20 , pp. 629-679
- Muggleton, S.¹ De Raedt, L.²

30
- 77951500608
- A Knowledge Representation and Inference System for Procedural Law
- (1988) J. New Generation Computing , vol.5 , pp. 319-359
- Nitta, K.¹ Nagao, J.² Mizutori, T.³

31
- 84992215664
- Legal Interpretation in Expert Systems
- Association of Computing Machinery, Amsterdam
- (1993) Proceedings of The Fourth International Conference on Artificial Intelligence and Law , pp. 90-99
- Poulin, D.¹ Bratley, P.² Frémont, J.³ Mackaay, E.⁴

32
- 0038617945
- Meta-levels in Soar
- P., Maes, D., Nardi, Elsevier Science Publishers B.V., Amsterdam
- (1988) Meta-Level Architectures and Reflection , pp. 227-240
- Rosenbloom, P.¹ Laird, J.² Newell, A.³

33
- 84972880741
- The Use of Meta-Rules in Rule Based Legal Computer Systems
- Association of Computing Machinery, Amsterdam
- (1993) Proceedings of The Fourth International Conference on Artificial Intelligence and Law , pp. 100-109
- Schild, U.J.¹ Herzog, S.²

34
- 9444260742
- The Representation of Law in Computer Programs
- T., Bench-Capon, Academic Press, London
- (1991) Knowledge-Based Systems and Legal Applications , pp. 3-67
- Sergot, M.J.¹

35
- 0001958669
- Arguments and Cases: An Inevitable Intertwining
- (1992) J. Artificial Intelligence and Law , vol.1 , pp. 3-44
- Skalak, D.B.¹ Rissland, E.L.²

36
- 0001511816
- The Semantic Conception of Truth
- (1944) Philosophy and Phenomenological Research , vol.4 , pp. 341-375
- Tarski, A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.