{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,5]],"date-time":"2023-10-05T06:26:51Z","timestamp":1696487211587},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AI & Soc"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1007\/bf02812435","type":"journal-article","created":{"date-parts":[[2008,1,12]],"date-time":"2008-01-12T21:21:55Z","timestamp":1200172915000},"page":"6-17","source":"Crossref","is-referenced-by-count":17,"title":["The representation of legal contracts"],"prefix":"10.1007","volume":"11","author":[{"given":"Aspassia","family":"Daskalopulu","sequence":"first","affiliation":[]},{"given":"Marek","family":"Sergot","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02812435_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7118-9","volume-title":"Normative Systems","author":"C. E. Alchourron","year":"1971","unstructured":"Alchourron, C. E. & Bulygin, E. (1971).Normative Systems. Springer-Verlag, New York."},{"key":"BF02812435_CR2","unstructured":"ALDUS (1992).The ALDUS project: Artificial Legal Draftsman for Use in Sales, ESPRIT Commission."},{"key":"BF02812435_CR3","doi-asserted-by":"crossref","first-page":"833","DOI":"10.2307\/794073","volume":"66","author":"L. E. Allen","year":"1957","unstructured":"Allen, L. E. (1957). Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents.The Yale Law Journal. 66, 833\u2013879.","journal-title":"The Yale Law Journal."},{"key":"BF02812435_CR4","unstructured":"Allen, L. E. (1982). Towards a Normalized Language to Clarify the Structure of Legal Discourse. In Martino (ed.)Deontic Logic, Computational Linguistics and Legal Information Systems, North-Holland."},{"key":"BF02812435_CR5","unstructured":"Allen, L. E. & Saxon, C. S. (1993). A-Hohfeld: A Language for Robust Structural Representation of Knowledge in the Legal Domain to Build Interpretation-Assistance Expert Systems. In Meyer & Wieringa (eds)Deontic Logic in Computer Science: Normative Systems Specification, John Wiley & Sons."},{"key":"BF02812435_CR6","volume-title":"An introduction to the Law of Contract","author":"P. S. Atiyah","year":"1989","unstructured":"Atiyah, P. S. (1989).An introduction to the Law of Contract. Clarendon Press (4th edition), Oxford.","edition":"4th edition"},{"key":"BF02812435_CR7","volume-title":"Computer Power and Legal Language","author":"T. J. M. Bench-Capon","year":"1988","unstructured":"Bench-Capon, T. J. M. & Sergot, M. J. (1988). Towards a rule-based representation of open texture in law. InComputer Power and Legal Language, Quorum Books, New York."},{"key":"BF02812435_CR8","first-page":"62","volume-title":"Proceedings of the Fifth International Conference on Artificial Intelligence and Law, University of Maryland","author":"A. Daskalopulu","year":"1995","unstructured":"Daskalopulu, A. & Sergot, M. J. (1995). A Constraint-Driven System for Contract Assembly. InProceedings of the Fifth International Conference on Artificial Intelligence and Law, University of Maryland, College Park, ACM Press. 62\u201369."},{"key":"BF02812435_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. deKleer","year":"1986","unstructured":"deKleer, J. (1986). An assumption based TMS.Artificial Intelligence. 28, 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"BF02812435_CR10","first-page":"249","volume":"100","author":"J. A. Eck van","year":"1982","unstructured":"van Eck, J. A. (1982). A System of Temporally Relative Modal and Deontic Predicate Logic and its Philosophical Applications.Logique et Analyse. 100, 249\u2013381.","journal-title":"Logique et Analyse"},{"key":"BF02812435_CR11","unstructured":"Fiedler, H. (1985). Expert Systems as a Tool for Drafting Legal Decisions. In Martino (ed.)Proceedings of the Second International Conference on Logic, Informatics and Law, Florence. 265\u2013274."},{"key":"BF02812435_CR12","volume-title":"An Artificial Intelligence Approach to Legal Reasoning","author":"A. Gardner","year":"1987","unstructured":"Gardner, A. (1987).An Artificial Intelligence Approach to Legal Reasoning. MIT Press, Cambridge Massachusetts."},{"key":"BF02812435_CR13","unstructured":"Gordon, T. F. (1992). A Theory Construction Approach to Legal Document Assembly. In Martino (ed.)Expert Systems in Law, Elsevier Publishers B.V."},{"key":"BF02812435_CR14","volume-title":"Proceedings of the First International Conference on Artificial Intelligence and Law","author":"C. D. Hafner","year":"1987","unstructured":"Hafner, C. D. (1987). Conceptual Organization of Case Law Knowledge Bases. InProceedings of the First International Conference on Artificial Intelligence and Law, Boston Massachussetts, ACM Press."},{"key":"BF02812435_CR15","doi-asserted-by":"crossref","first-page":"XX","DOI":"10.2307\/785533","volume":"23","author":"W. N. Hohfeld","year":"1913","unstructured":"Hohfeld, W. N. (1913). Some Fundamental Legal Conceptions as Applied in Judicial Reasoning.Yale Law Journal. 23, XX-XX.","journal-title":"Yale Law Journal"},{"key":"BF02812435_CR16","volume-title":"Model Form of General Conditions of Contracts: Home or Overseas Contracts with Erection (MF\/1)","author":"IEE","year":"1988","unstructured":"IEE (1988).Model Form of General Conditions of Contracts: Home or Overseas Contracts with Erection (MF\/1). The Institution of Electrical Engineers, London."},{"key":"BF02812435_CR17","volume-title":"Model Form of General Conditions of Contract: Home or Overseas Contracts for the Supply of Electrical of Mechanical Plant (MF\/2)","author":"IEE","year":"1991","unstructured":"IEE (1991).Model Form of General Conditions of Contract: Home or Overseas Contracts for the Supply of Electrical of Mechanical Plant (MF\/2). The Institution of Electrical Engineers, London."},{"key":"BF02812435_CR18","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1111\/j.1467-9337.1990.tb00060.x","volume":"3","author":"A. J. I. Jones","year":"1990","unstructured":"Jones, A. J. I. (1990). Deontic Knowledge and Legal Knowledge Representation.Ratio Juris. 3, 237\u2013244.","journal-title":"Ratio Juris"},{"key":"BF02812435_CR19","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF00118478","volume":"1","author":"A. J. I. Jones","year":"1992","unstructured":"Jones, A. J. I. & Sergot, M. J. (1992). Deontic Logic in the Representation of Law: Towards a Methodology.Artificial Intelligence and Law. 1, 45\u201364.","journal-title":"Artificial Intelligence and Law"},{"key":"BF02812435_CR20","unstructured":"Jones, A. J. I. & Sergot, M. J. (1993). On the Characterisation of Law and Computer Systems: The Normative Systems Perspective. In Meyer & Wieringa (eds)Deontic Logic in Computer Science: Normative Systems Specification, John Wiley & Sons."},{"key":"BF02812435_CR21","first-page":"429","volume":"4","author":"A. J. I. Jones","year":"1996","unstructured":"Jones, A. J. I. & Sergot, M. J. (1996). A Formal Characterisation of Institutionalized Power.Journal of the IGPL. 4, 429\u2013445.","journal-title":"Journal of the IGPL"},{"key":"BF02812435_CR22","volume-title":"Normative Systems in Legal and Moral Theory","year":"1997","unstructured":"Also in: Vald\u00e9s, Krawietz, von Wright, Zimmerling (eds),Normative Systems in Legal and Moral Theory, Duncker & Humblot, Berlin. 1997."},{"key":"BF02812435_CR23","unstructured":"Kanger, S. (1985). On Realization of Human Rights. In Holmstrom & Jones (eds)Action, Logic and Social Theory. Acta Philosophica Fennica."},{"key":"BF02812435_CR24","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1111\/j.1755-2567.1966.tb00594.x","volume":"32","author":"S. Kanger","year":"1966","unstructured":"Kanger, S. & Kanger, H. (1966). Rights and Parliamentarism.Theoria. 32, 85\u2013115.","journal-title":"Theoria"},{"key":"BF02812435_CR25","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00118480","volume":"1","author":"M. Lauritsen","year":"1992","unstructured":"Lauritsen, M. (1992). Technology Report: Building Legal Practice Systems with Today\u2019s Commercial Authoring Tools,Artificial Intelligence and Law. 1, 87\u2013102.","journal-title":"Artificial Intelligence and Law"},{"key":"BF02812435_CR26","series-title":"Synthese Library","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/978-94-010-1202-7","volume-title":"Position and Change\u2014A Study in Law and Logic","author":"L. Lindhal","year":"1977","unstructured":"Lindhal, L. (1977). Position and Change\u2014A Study in Law and Logic.Synthese Library, 112, D. Reidel, Dordrecht."},{"key":"BF02812435_CR27","volume-title":"Computer Science and Law","author":"L. T. McCarthy","year":"1980","unstructured":"McCarthy, L. T. (1980). The TAXMAN Project: Towards a Cognitive Theory of Legal Argument. In Niblett (ed.)Computer Science and Law, Cambridge University Press, New York."},{"key":"BF02812435_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8975-8","volume-title":"Logical Tools for Modelling Legal Argument: A Study in Defeasible Reasoning in Law","author":"H. Prakken","year":"1997","unstructured":"Prakken, H. (1997).Logical Tools for Modelling Legal Argument: A Study in Defeasible Reasoning in Law. Kluwer, Dordrecht."},{"key":"BF02812435_CR29","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken, H. & Sergot, M. J. (1996). Contrary-to-duty Obligations.Studia Logica. 57, 91\u2013115.","journal-title":"Studia Logica"},{"key":"BF02812435_CR30","volume-title":"Defeasible Deontic Logic","author":"H. Prakken","year":"1997","unstructured":"Prakken, H. & Sergot, M. J. (1997). Dyadic Deontic Logic and Contrary-to-Duty Obligations. In Nute (ed.)Defeasible Deontic Logic, Kluwer, The Netherlands."},{"key":"BF02812435_CR31","doi-asserted-by":"crossref","unstructured":"Reed, C. A. (1997). Representing and Applying Knowledge for Argumentation in a Social Context.AI and Society. This issue.","DOI":"10.1007\/BF02812444"},{"key":"BF02812435_CR32","volume-title":"Proceedings of the Fifth International Conference on Artificial Intelligence and Law, University of Maryland","author":"E. L. Rissland","year":"1995","unstructured":"Rissland, E. L. & Daniels, J. L. (1995). A Hybrid CBR-IR Approach to Legal Information Retrieval. InProceedings of the Fifth International Conference on Artificial Intelligence and Law, University of Maryland, College Park, ACM Press."},{"key":"BF02812435_CR33","volume-title":"Proceedings of the Third International Conference on Artificial Intelligence and Law","author":"K. E. Sanders","year":"1991","unstructured":"Sanders, K. E. (1991). Representing and reasoning about open-textured predicates. InProceedings of the Third International Conference on Artificial Intelligence and Law, Oxford, ACM Press."},{"key":"BF02812435_CR34","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1111\/j.1467-9337.1994.tb00175.x","volume":"7","author":"G. Sartor","year":"1994","unstructured":"Sartor, G. (1994). A formal model of legal argumentation.Ratio Juris. 7, 212\u2013226.","journal-title":"Ratio Juris"},{"key":"BF02812435_CR35","doi-asserted-by":"crossref","unstructured":"Sergot, M. J. (1991). The Representation of Law in Computer Programs. In Bench-Capon (ed.)Knowledge-Based Systems and Legal Applications, Academic Press.","DOI":"10.1016\/B978-0-12-086441-6.50006-4"},{"key":"BF02812435_CR36","unstructured":"Sergot, M. J. (1997). A Computational Theory of Normative Positions. Technical Report, Department of Computing, Imperial College London. (Submitted for publication.)"},{"key":"BF02812435_CR37","unstructured":"Sergot, M. J. (1998). A Method for Automating the Analysis of Normative Positions. InProceedings of the Fourth International Workshop on Deontic Logic in Computer Science, Bologna, Italy (January 1998)."},{"key":"BF02812435_CR38","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M. J. Sergot","year":"1986","unstructured":"Sergot, M. J., Sadri, F., Kowalski, R. A., Kriwaczek, F., Hammond, P. & Cory, H. T. (1986). The British Nationality Act as a Logic Program.Communications of the ACM. 29, 370\u2013386.","journal-title":"Communications of the ACM"},{"key":"BF02812435_CR39","volume-title":"Contract Law","author":"R. Stone","year":"1994","unstructured":"Stone, R. (1994).Contract Law. Cavendish Publishing Ltd, London."},{"key":"BF02812435_CR40","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/A:1008256322911","volume":"5","author":"P. Visser","year":"1997","unstructured":"Visser, P., Bench-Capon, T. J. M. & van den Herik, J. (1997). A Method for Conceptualising Legal Domains: An Example from the Dutch Unemployment Benefits Act.Artificial Intelligence and Law. 5, 207\u2013242.","journal-title":"Artificial Intelligence and Law"}],"container-title":["AI & Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02812435.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02812435\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02812435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:04:41Z","timestamp":1558253081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02812435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":40,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["BF02812435"],"URL":"https:\/\/doi.org\/10.1007\/bf02812435","relation":{},"ISSN":["0951-5666","1435-5655"],"issn-type":[{"value":"0951-5666","type":"print"},{"value":"1435-5655","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}