-
2
-
-
0346247398
-
The expressive conception of norms
-
Hilpinen, R. (ed.) D. Reidel
-
Alchourrón, C. and Bulygin, E. (1981). The Expressive Conception of Norms. In Hilpinen, R. (ed.) New Studies in Deontic Logic, 95-124. D. Reidel.
-
(1981)
New Studies in Deontic Logic
, pp. 95-124
-
-
Alchourrón, C.1
Bulygin, E.2
-
3
-
-
0021466185
-
Towards a general theory of action and time
-
Allen, J. (1984). Towards a General Theory of Action and Time, Artificial Intelligence 23: 123-154.
-
(1984)
Artificial Intelligence
, vol.23
, pp. 123-154
-
-
Allen, J.1
-
4
-
-
0042847910
-
The language of legal relations, RLL: Useful in a legal ontology toolkit?
-
Visser, P. and Winkels, R. (eds.), ACM: New York
-
Allen, L. (1997). The Language of Legal Relations, RLL: Useful in a Legal Ontology Toolkit?: In Visser, P. and Winkels, R. (eds.), Legal Ontologies: Proceedings of the ICAIL-97 workshop, 47-60. ACM: New York.
-
(1997)
Legal Ontologies: Proceedings of the ICAIL-97 Workshop
, pp. 47-60
-
-
Allen, L.1
-
5
-
-
84865637703
-
More IA needed in AI: Interpretation assistance for coping with the problem of multiple structural interpretations
-
Oxford
-
Allen, L. and Saxon, C. (1991). More IA Needed in AI: Interpretation Assistance for Coping with the Problem of Multiple Structural Interpretations. In Proceedings of the Third International Conference on AI and Law. 53-61, Oxford.
-
(1991)
Proceedings of the Third International Conference on AI and Law
, pp. 53-61
-
-
Allen, L.1
Saxon, C.2
-
7
-
-
4544311630
-
Basic description logics
-
Baader, F., Calvanese, D., McGuinness, D. Nardi, D., and Patel-Schneider, P. (eds.), Cambridge University Press
-
Baader, F. and Nutt, W. (2002). Basic Description Logics. In Baader, F., Calvanese, D., McGuinness, D. Nardi, D., and Patel-Schneider, P. (eds.), Description Logic Handbook, 47-100. Cambridge University Press.
-
(2002)
Description Logic Handbook
, pp. 47-100
-
-
Baader, F.1
Nutt, W.2
-
10
-
-
0031078545
-
Engineering ontologies
-
Borst, P., Akkermans, J. M., and Top, J. L. (1997). Engineering Ontologies, International Journal of Human Computer Studies 46(2/3): 365-406.
-
(1997)
International Journal of Human Computer Studies
, vol.46
, Issue.2-3
, pp. 365-406
-
-
Borst, P.1
Akkermans, J.M.2
Top, J.L.3
-
11
-
-
0002605970
-
Living with CLASSIC: When and how to use a KL-ONE-like language
-
Sowa, J. (ed.), Morgan Kaufmann.
-
Brachman, R., McGuinness, D., Patel-Schneider, P., Resnick, L., and Borgida, A. (1991). Living with CLASSIC: When and How to Use a KL-ONE-like Language. In Sowa, J. (ed.), Principles of Semantic Networks: Explorations in the Representation of Knowledge: 401-456. Morgan Kaufmann. http://www.cs.man.ac. uk/franconi/dl/course/articles/brachman91living.ps.gz.
-
(1991)
Principles of Semantic Networks: Explorations in the Representation of Knowledge
, pp. 401-456
-
-
Brachman, R.1
McGuinness, D.2
Patel-Schneider, P.3
Resnick, L.4
Borgida, A.5
-
12
-
-
0347947177
-
Current topics in qualitative reasoning
-
special issue on Qualitative Reasoning
-
Bredeweg, B. and Struss, P. (2004). Current Topics in Qualitative Reasoning, AI Magazine 24: 13-16 special issue on Qualitative Reasoning.
-
(2004)
AI Magazine
, vol.24
, pp. 13-16
-
-
Bredeweg, B.1
Struss, P.2
-
13
-
-
0041968331
-
Components of Problem Solving
-
Steels, L., Schreiber, G. and Velde, W.van de (eds.), Springer Verlag: Berlin
-
Breuker, J. (1994). Components of Problem Solving: In Steels, L., Schreiber, G. and Velde, W.van de (eds.), A Future for Knowledge Acquisition: Proceedings of the EKAW-94, European Knowledge Acquisition Workshop, 118-136. Springer Verlag: Berlin.
-
(1994)
A Future for Knowledge Acquisition: Proceedings of the EKAW-94, European Knowledge Acquisition Workshop
, pp. 118-136
-
-
Breuker, J.1
-
15
-
-
33646730683
-
Core concepts of law: Taking common-sense seriously
-
Varzi, A. and Vieu, L. (eds.), IOS-Press
-
Breuker, J. and Hoekstra, R. (2004a). Core Concepts of Law: Taking Common-Sense Seriously. In Varzi, A. and Vieu, L. (eds.), Proceedings of Formal Ontologies in Information Systems, FOIS-2004, 210-221. IOS-Press.
-
(2004)
Proceedings of Formal Ontologies in Information Systems, FOIS-2004
, pp. 210-221
-
-
Breuker, J.1
Hoekstra, R.2
-
16
-
-
33646731120
-
DIRECT: Ontology-based discovery of responsibility and causality in legal cases
-
Gordon, T. (eds.), IOS-Press: Amsterdam
-
Breuker, J. and Hoekstra, R. (2004b). DIRECT: Ontology-based Discovery of Responsibility and Causality in Legal Cases: In Gordon, T. (eds.), Proceedings JURIX-2004, 115-126. IOS-Press: Amsterdam.
-
(2004)
Proceedings JURIX-2004
, pp. 115-126
-
-
Breuker, J.1
Hoekstra, R.2
-
19
-
-
0022226575
-
Heuristic classification
-
Clancey, W. (1985). Heuristic Classification, Artificial Intelligence 27: 289-350.
-
(1985)
Artificial Intelligence
, vol.27
, pp. 289-350
-
-
Clancey, W.1
-
23
-
-
0141951963
-
Sweetening WORDNET with DOLCE
-
Gangemi, A., Guarino, N., Masolo, C., and Oltramari, A. (2003). Sweetening WORDNET with DOLCE, AI Magazine 24: 13-24.
-
(2003)
AI Magazine
, vol.24
, pp. 13-24
-
-
Gangemi, A.1
Guarino, N.2
Masolo, C.3
Oltramari, A.4
-
24
-
-
84873476520
-
Sweetening ontologies with DOLCE
-
Gomez-Perez, A. and Benjamins, V. (eds.), Springer
-
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., and Schneider, L. (2002). Sweetening ontologies with DOLCE. In Gomez-Perez, A. and Benjamins, V. (eds.), Proceedings of the EKAW-2002, 166-181. Springer.
-
(2002)
Proceedings of the EKAW-2002
, pp. 166-181
-
-
Gangemi, A.1
Guarino, N.2
Masolo, C.3
Oltramari, A.4
Schneider, L.5
-
25
-
-
77649252015
-
A constructive framework for legal ontologies
-
Benjamins, V., Casanovas, P., Breuker, J., and Gangemi, A. (eds.), Springer Verlag
-
Gangemi, A., Sagri, M., and Tiscornia, D. (2005). A Constructive Framework for Legal Ontologies. In Benjamins, V., Casanovas, P., Breuker, J., and Gangemi, A. (eds.), Law and the Semantic Web, 97-124 Springer Verlag.
-
(2005)
Law and the Semantic Web
, pp. 97-124
-
-
Gangemi, A.1
Sagri, M.2
Tiscornia, D.3
-
26
-
-
35148839490
-
A translation approach to portable ontology specifications
-
Gruber, T. R. (1993). A Translation Approach to Portable Ontology Specifications, Knowledge Acquisition 5: 199-220.
-
(1993)
Knowledge Acquisition
, vol.5
, pp. 199-220
-
-
Gruber, T.R.1
-
27
-
-
0348133095
-
The law as a dynamic interconnected system of states of affairs: A legal top ontology
-
Hage, J. and Verheij, B. (1999). The Law as a Dynamic Interconnected System of States of Affairs: A Legal Top Ontology, International Journal of Human Computer Studies 51: 1034-1077.
-
(1999)
International Journal of Human Computer Studies
, vol.51
, pp. 1034-1077
-
-
Hage, J.1
Verheij, B.2
-
28
-
-
0345779122
-
Metaprogramming for Representation of Legal Principles
-
Hamfelt, A. and Barklund, J. (1990). Metaprogramming for Representation of Legal Principles. In Proceedings of Meta'90, 105-122.
-
(1990)
Proceedings of Meta'90
, pp. 105-122
-
-
Hamfelt, A.1
Barklund, J.2
-
31
-
-
0002844033
-
Naive physics I: Ontology for liquids
-
Hobbs, J. R. and Moore, R. C. (eds.), Ablex Publishing Corporation: Norwood
-
Hayes, P. J. (1985a). Naive Physics I: Ontology for Liquids: In Hobbs, J. R. and Moore, R. C. (eds.), Formal Theories of the Common Sense World, 71-108. Ablex Publishing Corporation: Norwood.
-
(1985)
Formal Theories of the Common Sense World
, pp. 71-108
-
-
Hayes, P.J.1
-
32
-
-
0001782174
-
The second naive physics manifesto
-
Hobbs, J. R. and Moore, R. C. (eds.), Ablex Publishing Corporation: Norwood
-
Hayes, P. J. (1985b). The Second Naive Physics Manifesto: In Hobbs, J. R. and Moore, R. C. (eds.), Formal Theories of the Common Sense World, 1-36. Ablex Publishing Corporation: Norwood.
-
(1985)
Formal Theories of the Common Sense World
, pp. 1-36
-
-
Hayes, P.J.1
-
33
-
-
0031076483
-
Using explicit ontologies for KBS development
-
Heijst, G. V., Schreiber, A. T., and Wielinga, B. (1997). Using Explicit Ontologies for KBS Development, International Journal of Human-Computer Studies 46(2/3): 183-292.
-
(1997)
International Journal of Human-computer Studies
, vol.46
, Issue.2-3
, pp. 183-292
-
-
Heijst, G.V.1
Schreiber, A.T.2
Wielinga, B.3
-
37
-
-
77649258623
-
Knowledgeable information brokering
-
Stanford, B. and Kidd, P. (eds.), IOS-Press
-
Jansweijer, W., van der Stadt, E., van Lieshout, J., and Breuker, J. (2000). Knowledgeable Information Brokering. In Stanford, B. and Kidd, P. (eds.), E-bussiness: Key Issues, Applications and Technologies. IOS-Press.
-
(2000)
E-bussiness: Key Issues, Applications and Technologies
-
-
Jansweijer, W.1
Van Der Stadt, E.2
Van Lieshout, J.3
Breuker, J.4
-
38
-
-
0242371005
-
Representing the UMLS semantic network using OWL
-
Fensel, D., Sycara, K., and Mylopoulos, J. (eds.)
-
Kashyap, V. and Borgida, A. (2004). Representing the UMLS Semantic Network using OWL. In Fensel, D., Sycara, K., and Mylopoulos, J. (eds.), The Semantic Web - ISCW 2003, 1-16.
-
(2004)
The Semantic Web - ISCW 2003
, pp. 1-16
-
-
Kashyap, V.1
Borgida, A.2
-
40
-
-
0003672012
-
Mind in a physical world: An essay on the mind-body problem and mental causation
-
MIT Press
-
Kim, J. (1998). Mind in a Physical World: An Essay on the Mind-Body Problem and Mental Causation. In Representation and Mind. MIT Press.
-
(1998)
Representation and Mind
-
-
Kim, J.1
-
44
-
-
33646719717
-
Using NLP techniques to identify legal ontology components: Concepts and relations
-
Lame, G. (2004). Using NLP Techniques to Identify Legal Ontology Components: Concepts and Relations. In this volume.
-
(2004)
In This Volume
-
-
Lame, G.1
-
46
-
-
77649243894
-
CAUSATIONT: Causation in AI & law
-
Benjamins, V., Casanovas, P., Breuker, J., and Gangemi, A. (eds.), Springer Verlag
-
Lehmann, J., Breuker, J., and Brouwer, P. (2005). CAUSATIONT: Causation in AI & Law. In Benjamins, V., Casanovas, P., Breuker, J., and Gangemi, A. (eds.), Law and the Semantic Web, 77-96. Springer Verlag.
-
(2005)
Law and the Semantic Web
, pp. 77-96
-
-
Lehmann, J.1
Breuker, J.2
Brouwer, P.3
-
47
-
-
85067736297
-
Social roles and their descriptions
-
Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., and Guarino, N. (2004). Social Roles and their Descriptions. In Proceedings of Knowledge Representation Workshop.
-
(2004)
Proceedings of Knowledge Representation Workshop
-
-
Masolo, C.1
Vieu, L.2
Bottazzi, E.3
Catenacci, C.4
Ferrario, R.5
Gangemi, A.6
Guarino, N.7
-
48
-
-
33646741760
-
The wonderweb foundational ontologies: Preliminary report
-
ISTC-CNR (Italy)
-
Massolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., and Schneider, L. (2002). The WonderWeb foundational ontologies: Preliminary Report. Technical Report Deliverable D17, version 2, ISTC-CNR (Italy).
-
(2002)
Technical Report Deliverable D17, Version 2
-
-
Massolo, C.1
Borgo, S.2
Gangemi, A.3
Guarino, N.4
Oltramari, A.5
Schneider, L.6
-
50
-
-
33746244861
-
Norms, logics and information systems
-
McNamara, P. and Prakken, H. (eds.) Amsterdam: IOS-Press
-
McNamara, P. and Prakken, H. (eds.) (1999). Norms, Logics and Information Systems; New Studies in Deontic Logic and Computer Science. Amsterdam: IOS-Press.
-
(1999)
New Studies in Deontic Logic and Computer Science
-
-
-
51
-
-
0003015874
-
A framework for representing knowledge
-
Winston, P. H. (eds.), McGraw-Hill: New York
-
Minsky, M. (1975). A Framework for Representing Knowledge: In Winston, P. H. (eds.), The Psychology of Computer Vision, 211-277. McGraw-Hill: New York.
-
(1975)
The Psychology of Computer Vision
, pp. 211-277
-
-
Minsky, M.1
-
53
-
-
0142237356
-
Evaluating PROSA, a system to train legal cases
-
Moore, J., Redfield, C. and Johnson, L. (eds.), IOS-Press: Amsterdam
-
Muntjewerff, A. and Breuker, J. A. (2001). Evaluating PROSA, a system to train legal cases: In Moore, J., Redfield, C. and Johnson, L. (eds.), Artificial Intelligence in Education, 278-290. IOS-Press: Amsterdam.
-
(2001)
Artificial Intelligence in Education
, pp. 278-290
-
-
Muntjewerff, A.1
Breuker, J.A.2
-
54
-
-
0345871221
-
A role based model for the normative specification of organized collective agency and agents interaction
-
Pacheco, O. and Carmo, J. (2003). A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction, Journal of Autonomous Agents and Multi-Agent Systems 6: 145-184.
-
(2003)
Journal of Autonomous Agents and Multi-agent Systems
, vol.6
, pp. 145-184
-
-
Pacheco, O.1
Carmo, J.2
-
55
-
-
0038396179
-
Artificial intelligence techniques for diagnostic reasoning in medicine
-
Shobe, H. and AAAI, (eds.), Morgan Kaufmann, San Mateo: California
-
Patil, R. (1988). Artificial Intelligence Techniques for Diagnostic Reasoning in Medicine: In Shobe, H. and AAAI, (eds.), Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence: Morgan Kaufmann, 347-379. San Mateo: California.
-
(1988)
Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence
, pp. 347-379
-
-
Patil, R.1
-
56
-
-
0347532917
-
IEEE standard upper ontology: A progress report
-
Special Issue on Ontologies and Agents
-
Pease, A. and Niles, I. (2002). IEEE Standard Upper Ontology: A Progress Report, Knowledge Engineering Review 17: 65-70. Special Issue on Ontologies and Agents.
-
(2002)
Knowledge Engineering Review
, vol.17
, pp. 65-70
-
-
Pease, A.1
Niles, I.2
-
58
-
-
0000547079
-
Legal principles and the limits of law
-
Raz, J. (1972). Legal Principles and the Limits of Law, The Yale Law Journal 81: 823-854.
-
(1972)
The Yale Law Journal
, vol.81
, pp. 823-854
-
-
Raz, J.1
-
59
-
-
33646744893
-
Medical informatics
-
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P. (eds.), Cambridge University Press
-
Rector, A. (2002). Medical Informatics. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P. (eds.), Description Logic Handbook, 415-435. Cambridge University Press.
-
(2002)
Description Logic Handbook
, pp. 415-435
-
-
Rector, A.1
-
62
-
-
0034301679
-
On the representation of roles in object-oriented and conceptual modelling
-
Steimann, F. (2000). On the Representation of Roles in Object-Oriented and Conceptual Modelling, Data and Knowledge Engineering 35: 83-106.
-
(2000)
Data and Knowledge Engineering
, vol.35
, pp. 83-106
-
-
Steimann, F.1
-
63
-
-
33646421757
-
Ontologies in bioinformatics
-
Staab, S. and Studer, R. (eds.), Springer
-
Stevens, R., Wroe, C., Lord, P., and Goble, C. (2004). Ontologies in Bioinformatics. In Staab, S. and Studer, R. (eds.), Handbook of Ontologies, 635-657. Springer.
-
(2004)
Handbook of Ontologies
, pp. 635-657
-
-
Stevens, R.1
Wroe, C.2
Lord, P.3
Goble, C.4
-
65
-
-
0001905256
-
Concepts of human memory
-
Squire, L., Lynx, G., Weinberger, N., and McGaugh, J. (eds.), Oxford University Press
-
Tulving, E. (1991). Concepts of Human Memory. In Squire, L., Lynx, G., Weinberger, N., and McGaugh, J. (eds.), Memory: Organization and Locus of Change, 3-32. Oxford University Press.
-
(1991)
Memory: Organization and Locus of Change
, pp. 3-32
-
-
Tulving, E.1
-
67
-
-
0029205359
-
On-line: An architecture for modelling legal information
-
Bench-Capon, T. (ed.), ACM Press
-
Valente, A. and Breuker, J. (1995). ON-LINE: An Architecture for Modelling Legal Information. In Bench-Capon, T. (ed.), Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 95-104, ACM Press.
-
(1995)
Proceedings of the Fifth International Conference on Artificial Intelligence and Law
, pp. 95-104
-
-
Valente, A.1
Breuker, J.2
-
68
-
-
0038250845
-
Legal modelling and automated reasoning with On-Line
-
Valente, A., Breuker, J., and Brouwer, P. (1999a). Legal Modelling and automated reasoning with ON-LINE, International Journal of Human Computer Studies 51: 1079-1126.
-
(1999)
International Journal of Human Computer Studies
, vol.51
, pp. 1079-1126
-
-
Valente, A.1
Breuker, J.2
Brouwer, P.3
-
69
-
-
0032760389
-
Building, using, and reusing an ontology of air campaign planning
-
Valente, A., Russ, T., MacGregor, R., and Swartout, W. (1999b). Building, Using, and Reusing an Ontology of Air Campaign Planning, IEEE Intelligent Systems 14: 27-36.
-
(1999)
IEEE Intelligent Systems
, vol.14
, pp. 27-36
-
-
Valente, A.1
Russ, T.2
MacGregor, R.3
Swartout, W.4
-
70
-
-
33646718975
-
Coherence in law: A semantic and deductive explanation
-
Brouwer, B., Hol, T., Soeteman, A., Van Der Velden, W., and De Wild, A. (eds.), Coherence and Conflict in Law. Deventer, Boston/Zwolle, Kluwer Law and Taxation Publishers/W.E.J. Tjeenk Willink January 3-5, 1991, Amsterdam
-
Van Der Velden, W. (1992). Coherence in Law: A Semantic and Deductive Explanation. In Brouwer, B., Hol, T., Soeteman, A., Van Der Velden, W., and De Wild, A. (eds.), Coherence and Conflict in Law. Deventer, Boston/Zwolle, 257-287. Kluwer Law and Taxation Publishers/W.E.J. Tjeenk Willink. Proceedings of the Third Benelux-Scandinavian Symposium in Legal Theory, January 3-5, 1991, Amsterdam.
-
(1992)
Proceedings of the Third Benelux-Scandinavian Symposium in Legal Theory
, pp. 257-287
-
-
Van Der Velden, W.1
-
71
-
-
0038250849
-
A principled approach to developing legal knowledge systems
-
Van Kralingen, R., Visser, P., Bench-Capon, T., and Herik, H.van den (1999). A Principled Approach to Developing Legal Knowledge Systems, International Journal of Human Computer Studies 51: 1127-1154.
-
(1999)
International Journal of Human Computer Studies
, vol.51
, pp. 1127-1154
-
-
Van Kralingen, R.1
Visser, P.2
Bench-Capon, T.3
Van Den Herik, H.4
-
72
-
-
0004091607
-
-
Bradford Books, MIT Press: Cambridge, Massachusetts/London England
-
Wegner, D. (2002). The Illusion of Conscious Will, Bradford Books, MIT Press: Cambridge, Massachusetts/London England.
-
(2002)
The Illusion of Conscious Will
-
-
Wegner, D.1
-
73
-
-
33746096441
-
Some industrial experiences in the development and use of ontologies
-
West, M. (2004). Some Industrial Experiences in the Development and Use of Ontologies. In Proceedings of EKAW Workshop on Core ontologies. Http://sunsite.Informatik.rwth-aachen.de/Publications/CEUR-WS/,Ceur.
-
(2004)
Proceedings of EKAW Workshop on Core Ontologies
-
-
West, M.1
-
74
-
-
34250655230
-
CLIME: Lessons learned in legal information serving
-
Harmelen, F. V. (eds.), Lyon (F), IOS-Press, Amsterdam
-
Winkels, R., Boer, A., and Hoekstra, R. (2002). CLIME: Lessons Learned in Legal Information Serving: In Harmelen, F. V. (eds.), Proceedings of the European Conference on Artificial Intelligence-2002, Lyon (F), IOS-Press, Amsterdam.
-
(2002)
Proceedings of the European Conference on Artificial Intelligence-2002
-
-
Winkels, R.1
Boer, A.2
Hoekstra, R.3
-
75
-
-
0033295149
-
Generating exception structures for legal information serving
-
Gordon, T. (eds.), ACM: New York.
-
Winkels, R., Bosscher, D., Boer, A., and Breuker, J. (1999). Generating Exception Structures for Legal Information Serving: In Gordon, T. (eds.), Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL-99), 182-189. ACM: New York.
-
(1999)
Proceedings of the Seventh International Conference on Artificial Intelligence and Law (ICAIL-99)
, pp. 182-189
-
-
Winkels, R.1
Bosscher, D.2
Boer, A.3
Breuker, J.4
|