| 期刊論文1. | Uschold, M.、Gruninger, M.(1996)。Ontologies: Principles, Methods and Applications。Knowledge Engineering Review,11(2),93-155。 | 2. | Studer, R.、Benjamins, V. R.、Fensel, D.(1998)。Knowledge Engineering: Principles and Methods。Data and Knowledge Engineering,25(1/2),161-197。 | 3. | Newell, A.(1982)。The knowledge level。Artificial Intelligence,18,87-127。 | 4. | 陳顯武(19961200)。法律理論與邏輯程式化。政大法學評論,56,295-317。 延伸查詢 | 5. | Gruber, T. R.(1993)。A translation approach to portable ontology specifications。Knowledge acquisition,5(2),199-220。 | 6. | 陳起行(20010400)。德國法資訊學。法學叢刊,46(2)=182,79-85。 延伸查詢 | 7. | 陳起行(20010300)。Dworkin法理學、融貫與法資訊系統。政大法學評論,65,1-85。 延伸查詢 | 8. | McCarty, L. T.(1988)。Clausel Intuitionistic Logic I. Fixed-Point Semantics。Logic Programming,5,1-31。 | 9. | Moles, R. N.、Dayal, S.(1992)。There is More to Life than Logic。Journal of Information Science,3(2),188-218。 | 10. | Rissland, E. L.、Ashley, K. D.、Loui, R. P.(2003)。AI and Law: A Fruitful Synergy。Artificial Intelligence,150,1-15。 | 11. | Spyns, P.、Meersman, R.、Jarrar, M.(2002)。Special Section on Semantic Web and Data Management: Data Modelling Versus Ontology Engineering。ACM SIGMOD Record,31(4),12-17。 | 12. | Stamper, R. K.(1991)。The Role of Semantics in Legal Expert Systems and Legal Reasoning。Ratio Juris,4(2),219-244。 | 13. | De Vergara, J. E.、Villagra, V. A.、Asensio, J. I.、Berrocal, J.(2003)。Ontologies: Giving Semantics to Network Management Models。IEEE Network,17(3),15-21。 | 14. | Herberger, M.、廖緯民(1999)。法資訊學的發展有助提升正義嗎?。植根雜誌,15(7),35-44。 延伸查詢 | 15. | Craven, M.(2000)。Learning to Construct Knowledge Bases from the World Wide Web。Artificial Intelligence,118,69-113。 | 16. | Cutkosky, M.(1993)。PACT: An Experiment in Integrating Concurrent Engineering Systems。IEEE Computer,26(1),28-37。 | 17. | Farquhar, A.、Fikes, R.、Rice, J.(1997)。The Ontolingua Server: A Tool for Collaborative Ontology Construction。Journal of Human-Computer Studies,46,707-727。 | 18. | Gangemi, A.、Pisanelli, D. M.、Steve, G.(1999)。An Overview of the ONIONS Project: Applying Ontologies to the Integration of Medical Terminologies。Data and Knowledge Engineering,31,183-220。 | 19. | Gruber, T. R.(1993)。Model Formulations as a Problem-Solving Task: Computer-Assisted Engineering Modeling。International Journal of Intelligent Systems,8,105-127。 | 20. | Visser, P. R. S.、Bench-Capon, T. J. M.(1998)。A Comparison of Four Legal Ontologies for the Design of Legal Knowledge Systems。Artificial Intelligence and Law,6(1),27-57。 | 會議論文1. | MacGregor, R. M.(1994)。A Description Classifier for the Predicate Calculus。沒有紀錄。213-220。 | 2. | Mark, W.(1995)。Ontology as Knowledge Base Architechture。沒有紀錄。 | 3. | McCarty, L. T.(1989)。A Language for Legal Discourse, I. Basic Features。Vancouver, Canada。180-189。 | 4. | McCarty, L. T.(1993)。OWNERSHIP: A case Study in the Representation of Legal Concepts。沒有紀錄。 | 5. | Mommers, L.、Schmidt, A. H. J.、Oskamp, E. W.(1997)。Controversies in the Ontology and Law Debate。Melbourne, Australia。1-5。 | 6. | Rissland, E. L.、Ashley, K. D.(1987)。A Case-Based System for Trade Secrets law。沒有紀錄。60-66。 | 7. | Schreiber, G.、Wielinga, B. J.、Akkermans, J. M.、Van De Velde, W.(1994)。CML: The Common KADS Conceptual Modelling Language。Hoegaarden, Belgium。1-25。 | 8. | Van Der Vet, P. E.、Speel, P. H.、Mars, N. J. I.(1995)。Ontologies for Very Large Knowledge Bases in Material Science: A Case Study。Twente。 | 9. | 陳顯武(2001)。補償條例之法條邏輯結構分析。臺北。219-242。 延伸查詢 | 10. | Breuker, J. A.、Valente, A.、Winkels, R.(1997)。Legal Ontologies: A Functional View。Melbourne, Australia。23-36。 | 11. | Chandrasekaran, B.、Josephson, J. R.(1997)。The Ontology of Tasks and Methods。CA, USA。9-16。 | 12. | Fox, M. S.、Gruninger, M.(1994)。Ontologies for Enterprise Integration。The 2nd Conference on Cooperative Information Systems。Toronto。 | 13. | Guarino, N.、Carrara, M.、Giaretta, P.(1994)。Formalizing Ontological Commitment。Seattle, WA。 | 14. | Guarino, N.、Carrara, M.、Giaretta, P.(1994)。An Ontology of Meta-Level Categories。San Mateo, CA。270-280。 | 15. | Haft, F.、Jones, R. P.、Wetter, T.(1987)。A Natural Language Based Legal Expert System for Consultation and Tutoring - The LEX Project。沒有紀錄。75-83。 | 16. | Van, Kralingen, R. W.(1997)。A Conceptual Frame-Based Ontology for the Law。Melbourne, Australia。15-22。 | 17. | Visser, P. R. S.、Bench-Capon, T. J. M.(1996)。On the Reusability of Ontologies in Knowledge System Design。Zürich, Switzerland。256-261。 | 18. | Visser, P. R. S.、Bench-Capon, T. J. M.(1996)。The Formal Specification of a Legal Ontology。Tilburg, Netherlands。15-24。 | 19. | Wiederhold, G.(1994)。Interoperation, Mediation, and Ontologies。Tokyo, Japan。33-48。 | 研究報告1. | Gruber, Thomas R.(1993)。Toward Principles for the Design of Ontologies Used for Knowledge Sharing。0:Stanford University。 | 2. | Gruber, T. R.(1992)。Ontolingua: A Mechanism to Support Portable Ontologies。Palo Alto, CA。 | 3. | Wielinga, B.、Schreiber, A. T.、Jansweijer, W.、Anjewierden, A.、Van Harmelen, F.(1994)。Framework and Formalism for Expressing Ontologies。沒有紀錄。 | 學位論文1. | 陳顯武(1991)。Negation und Ausnahme - Die Eignung Nichtmonotoner Logik zur Repräsentation Juristischen Wissens,München, Germany。 | 2. | Van Heijst, G.(1995)。The Role of Ontologies in Knowledge Engineering,沒有紀錄。 | 圖書1. | Fowler, H. W.,、F. G. Fowler(1990)。The Concise Oxford Dictionary of Current English。Oxford:Clarendon Press。 | 2. | Hart, H. L. A.(1961)。The concept of law。The Clarendon Press。 | 3. | Apel, K. O.(1973)。Transformation der Philosophie。Frankfurt am M.:Suhrkamp。 | 4. | Heidegger, Martin(1986)。Sein und Zeit。Tübingen:Niemeyer。 | 5. | Philipps, L.(2001)。An der Grenze von Vorsatz und Fahrlässigkeit - Ein Modell Multikriterieller Computergestutzer Entscheidungen。Festschrift für Claus Roxin zum 70. Geburstag am 15。Berlin, Germany/ New York, NY。 | 6. | Quine, W. V.(1953)。On What There Is?。From a Logical Point of View: 9 Logico-Philosophical Essays。Cambridge, MA。 | 7. | Stamper, R. K.(1980)。LEGOL: Modelling Legal Rules by Computer。Computer Science and Law。Cambridge。 | 8. | Stamper, R. K.(1996)。Signs, Information, Norms and Systems。Signs of Work。Berlin, Germany。 | 9. | Tracy, K. W.、Bouthoorn, P.(1997)。Object-Oriented artificial Intelligence Using C++。Object-Oriented artificial Intelligence Using C++。New York, NY。 | 10. | Valente, A.(1995)。Legal Knowledge Engineering: A Modelling Approach。Legal Knowledge Engineering: A Modelling Approach。Amsterdam, Netherlands。 | 11. | Visser, P. R. S.(1995)。Knowledge Specification for Multiple Legal Tasks: A Case Study of the Interaction Problem in the Legal Domain。Knowledge Specification for Multiple Legal Tasks: A Case Study of the Interaction Problem in the Legal Domain。The Hague, Netherlands。 | 12. | 周北海(1996)。模態邏輯。模態邏輯。北京。 延伸查詢 | 13. | Allen, R. E.(1991)。Controversies about Law's Ontology。Controversies about Law's Ontology。Edinburgh。 | 14. | Aristotle(1971)。Metaphysics, IV。Metaphysics, IV。Oxford。 | 15. | Bench-Capon, T. J. M.、Visser, P. R. S.(1996)。Deep Models, Ontologies and Legal Knowledge Based Systems。Proceedings of the Ninth International Conference on Legal Knowledge-Based Systems (JURIX'96)。Tilburg, Netherlands。 | 16. | Breuker, J. A.、Van De Velde, W.(1994)。CommonKADS Library for Expertise Modelling。Reusable Problem Solving Components。Amsterdam, Netherlands。 | 17. | Bund, E.(1990)。Einfurung in die Rechtsinformatik。Einfurung in die Rechtsinformatik。Berlin, Germany u. a.。 | 18. | Bunge, M.(1997)。Treatise on Basic Philosophy. Ontology I: The Furniture of the World。Treatise on Basic Philosophy. Ontology I: The Furniture of the World。Dordrecht, Netherlands。 | 19. | Cocchiarella, N. B.(1991)。Formal Ontology。Handbook of Metaphysics and Ontologv。München, Germany。 | 20. | Gangemi, A.、Pisanelli, D. M.、Steve, G.(1998)。Ontology Alignment: Experiences with Medical Terminologies。FOIS 98。Amsterdam, Netherlands。 | 21. | Genesereth, M. R.、Fikes, R. E.(1992)。Knowledge Interchange Format, Version 0.3, Reference Manual。Knowledge Interchange Format, Version 0.3, Reference Manual。CA, USA。 | 22. | Genesereth, M. R.、Nilsson, N. J.(1987)。Logical Foundation of Artificial Intelligence。Logical Foundation of Artificial Intelligence。Los Altos, CA。 | 23. | Guarino, N.(1995)。Formal Ontology, Knowledge Acquisition and Knowledge Representation。Formal Ontology in Conceptual Analysis and Knowledge Representation。Dordrecht, Netherlands。 | 24. | Guarino, N.、Giaretta, P.(1995)。Ontologies and Knowledge Bases, Towards a Terminological Clarification。Towards Very Large Knowledge Bases。Amsterdam, Netherlands。 | 25. | Husserl, E.(1950)。Ideen zu Einer Reinen Phanomenologie und Phanomenologischen, Allgemeine Einführung in die Reine Phanomenologie, Text der 1。Ideen zu Einer Reinen Phanomenologie und Phanomenologischen, Allgemeine Einführung in die Reine Phanomenologie, Text der 1。Den Haag, Netherlands。 | 26. | Hartney, M.(1991)。General Theory of Norms。General Theory of Norms。Oxford。 | 27. | Paulson, S.(1992)。Introduction to the Problems of Legal Theory。Introduction to the Problems of Legal Theory。Oxford。 | 28. | Kowalski, R. A.(1979)。Logic for Problem Solving。Logic for Problem Solving。North Holland。 | 29. | Van Kralingen, R. W.(1995)。Frame-Based Conceptual Models of Statute Law。Frame-Based Conceptual Models of Statute Law。The Hague, Netherlands。 | 30. | Lloyd, J. W.(1984)。Foundations of Logic Programming。Foundations of Logic Programming。Berlin, Germany/ Heidelberg, Germany/ London, UK/ New York, NY/ Paris, France/ Tokyo, Japan。 | |