{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:47:43Z","timestamp":1768355263456,"version":"3.49.0"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00871972","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:01:12Z","timestamp":1104130872000},"page":"239-292","source":"Crossref","is-referenced-by-count":92,"title":["The Pleadings Game"],"prefix":"10.1007","volume":"2","author":[{"given":"Thomas F.","family":"Gordon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Proceedings ofThe International Workshop on Formal Methods in Law","author":"L. E. Allen","year":"1982","unstructured":"Allen, L. E. 1982. The Plain Language Game: Legal Writing Made Clear by Structuring it Well. In Proceedings ofThe International Workshop on Formal Methods in Law. Sankt Augustin: German National Research Center for Computer Science (GMD)."},{"key":"CR2","volume-title":"A Theory of Legal Argumentation","author":"R. Alexy","year":"1989","unstructured":"Alexy, R. 1989.A Theory of Legal Argumentation. Oxford: Claredon Press."},{"key":"CR3","unstructured":"Ashley, K. D. 1990.Modeling Legal Argument: Reasoning with Cases and Hypotheticals. MIT Press."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Bayles, M. D. 1990.Procedural Justice; Allocating to Individuals. Kluwer Academic Publishers.","DOI":"10.1007\/978-94-009-1932-7"},{"key":"CR5","unstructured":"Bench-Capon, T. J. M., Dunne, P. E. S. & Leng, P. H. 1991. Interacting with Knowledge Systems Through Dialogue Games. In Proceedings ofAVIGNON-92, vol. 1, 123?130. Avignon."},{"issue":"1","key":"CR6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00118479","volume":"1","author":"T. J. M. Bench-Capon","year":"1992","unstructured":"Bench-Capon, T. J. M. & Coenen, F. P. 1992a. Isomorphism and Legal Knowledge Based Systems.Artificial Intelligence and Law 1(1): 65?86.","journal-title":"Artificial Intelligence and Law"},{"key":"CR7","unstructured":"Bench-Capon, T. J. M., Dunne, P. E. S. & Leng, P. H. 1992b. A Dialogue Game for Dialectical Interaction with Expert Systems. In Proceedings ofThe 11th Annual Conference on Expert Systems and their Applications, vol. 1. Avignon."},{"key":"CR8","unstructured":"Black, H. C. 1979.Black's Law Dictionary. West Publishing Company."},{"key":"CR9","first-page":"103","volume-title":"Proceedings ofThe Second International Conference on Artificial Intelligence and Law","author":"L. K. Branting","year":"1989","unstructured":"Branting, L. K. 1989. Representing and Reusing Explanations and Legal Precedents. In Proceedings ofThe Second International Conference on Artificial Intelligence and Law, 103?110. Vancouver: Association for Computing Machinery."},{"key":"CR10","series-title":"World Student Series","volume-title":"Introduction to Artificial Intelligence","author":"E. Charniak","year":"1985","unstructured":"Charniak, E. & McDermott, D. 1985.Introduction to Artificial Intelligence. World Student Series. Reading, Massachusetts: Addison-Wesley."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W. F. Dowling","year":"1984","unstructured":"Dowling, W. F. & Gallier, J. H. 1984. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae.Journal of Logic Programming 3: 267?284.","journal-title":"Journal of Logic Programming"},{"key":"CR12","unstructured":"Edwards, P. editor. 1972.The Encyclopedia of Philosophy, volume 1, Macmillan Pub. Co., Inc. & The Free Press."},{"key":"CR13","unstructured":"Eshghi, K. & Kowalski, R. A. 1988.Abduction as Deduction. Technical report, Dept. of Computing, Imperial College of Science and Technology, London."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Felscher, W. 1986. Dialogues as a Foundation for Intuitionistic Logic. InHandbook of Philosophical Logic, Vol. III: Alternatives to Classical Logic. eds. D. Gabbay & F. G\u00fcnther, 341?372. D. Reidel.","DOI":"10.1007\/978-94-009-5203-4_5"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"Fikes, R. E. & Nillson, N. J. 1971. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.Artificial Intelligense 2: 189?208.","journal-title":"Artificial Intelligense"},{"issue":"2?3","key":"CR16","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H. Geffner","year":"1992","unstructured":"Geffner, H. & Pearl, J. 1992. Conditional Entailment: Bridging Two Approaches to Default Reasoning.Artificial Intelligence 53(2?3): 209?244.","journal-title":"Artificial Intelligence"},{"key":"CR17","first-page":"52","volume-title":"Formalisierung im Recht und Ans\u00e4tze juristischer Expertensysteme","author":"T. F. Gordon","year":"1986","unstructured":"Gordon, T. F. 1986.The Role of Exceptions in Models of the Law. Formalisierung im Recht und Ans\u00e4tze juristischer Expertensysteme, eds. R. Traunm\u00fcller & H. Fiedler, 52?59. Munich: J. Schweitzer Verlag."},{"key":"CR18","first-page":"157","volume-title":"Proceedings ofThe Second International Conference on Artificial Intelligence and Law","author":"T. F. Gordon","year":"1989","unstructured":"Gordon, T. F. 1989. Issue Spotting in a System for Searching Interpretation Spaces. In Proceedings ofThe Second International Conference on Artificial Intelligence and Law, 157?164. Vancouver, Association for Computing Machiery."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0020-7373(07)80009-5","volume":"35","author":"T. F. Gordon","year":"1991","unstructured":"Gordon, T. F. 1991. An Abductive Theory of Legal Issues.International Journal of Man-Machine Studies 35: 95?118.","journal-title":"International Journal of Man-Machine Studies"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Gordon, T. F. 1993.The Pleadings Game: An Artificial Intelligence Model of Procedural Justice. Ph.D. diss., Fachbereich Informatik, Technische Hochschule Darmstadt.","DOI":"10.1145\/158976.158978"},{"key":"CR21","volume-title":"Legal Knowledge Based Systems: Information Technology and Law, JURIX'92","author":"J. C. Hage","year":"1992","unstructured":"Hage, J. C., Span, G. P. J. & Lodder, A. 1992. A Dialogical Model of Legal Reasoning. InLegal Knowledge Based Systems: Information Technology and Law, JURIX'92, eds. C.A. Grutters et al. Lelystad, The Netherlands: Koninklijke Vermande."},{"key":"CR22","unstructured":"Junker, U. 1992.Relationship Between Assumptions. Ph.D. diss., Kaiserslautern."},{"key":"CR23","unstructured":"Konolige, K. 1990. A General Theory of Abduction. InWorking Notes of the AAAI Spring Symposium on Automated Abduction, 62?66."},{"key":"CR24","unstructured":"Levesque, H. J. 1989. A knowledge-Level Account of Abduction. In Proceedings ofThe International Joint Conference on Artificial Intelligence, 1061?1067. Detroit."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Lifschitz, V. 1987. On the Semantics of STRIPS. InReasoning about Action and Plans, eds. M. Georgeff and A. Lansky, Morgan Kaufmann.","DOI":"10.1016\/B978-0-934613-30-9.50004-4"},{"key":"CR26","unstructured":"Lorenz, K. 1961.Arithmetik und Logik als Spiele. Ph.D. diss., Kiel."},{"key":"CR27","unstructured":"Loui, R. & Chen, W. 1992. An Argument Game. Technical Report WUCS-92-47, Dept. of Computer Science, Washington University."},{"key":"CR28","first-page":"202","volume-title":"Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law","author":"R. Loui","year":"1994","unstructured":"Loui, R., Norman, J., Olson, J. & Merrill, A. 1994. A Design for Reasoning with Policies, Precedents, and Rationales. In Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law, 202?211. Amsterdam: Association for Computing Machinery."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00258422","volume":"8","author":"J. D. Mackenzie","year":"1979","unstructured":"Mackenzie, J. D. 1979. Question-Begging in Non-Cumulative Systems.Journal of Philosophical Logic 8: 159?177.","journal-title":"Journal of Philosophical Logic"},{"key":"CR30","first-page":"121","volume-title":"Proceedings of theSecond International Conference on Artificial Intelligence and Law","author":"C. C. Marshall","year":"1989","unstructured":"Marshall, C. C. 1989. Representing the Structure of a Legal Argument. In Proceedings of theSecond International Conference on Artificial Intelligence and Law, 121?127. Vancouver: Association for Computing Machinery."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(88)90014-3","volume":"5","author":"L. T. McCarty","year":"1988","unstructured":"McCarty, L. T. 1988. Clausal Intuitionistic Logic, II. Tableau Proof Procedures.The Journal of Logic Programming, 5: 93?132.","journal-title":"The Journal of Logic Programming"},{"key":"CR32","unstructured":"McCarty, L. T. & Cohen, W. W. 1992.The Case for Explicit Exceptions."},{"key":"CR33","first-page":"20","volume-title":"Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law","author":"K. Nitta","year":"1994","unstructured":"Nitta, K., Wong, S. & Ohtake, Y. 1994. A Computational Model of Trial Reasoning. In Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law, 20?29. Amsterdam: Association for Computing Machinery."},{"key":"CR34","unstructured":"Poole, D. 1985. On the Comparison of Theories: Preferring the Most Specific Explanation. In Proceedings ofThe International Joint Conference on Artificial Intelligence, 144?147, Los Angeles."},{"key":"CR35","unstructured":"Poole, D. 1990. Hypo-deductive Reasoning for Abduction, Default Reasoning and Design. In Working Notes of theAAAI Spring Symposium on Automated Abduction, 106?110."},{"key":"CR36","first-page":"1","volume-title":"Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law","author":"H. Prakken","year":"1993","unstructured":"Prakken, H. 1993.Logical Tools For Modelling Legal Argument. In Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law, 1?9. Amsterdam: Association for Computing Machinery."},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"Rawls, J. 1971.A Theory of Justice. Harvard University Press.","DOI":"10.4159\/9780674042605"},{"key":"CR38","volume-title":"Dialectics","author":"N. Rescher","year":"1977","unstructured":"Rescher, N. 1977.Dialectics. State University of New York, Albany."},{"key":"CR39","unstructured":"Reiter, R. & de Kleer, J. 1987. Foundations of Assumption-Based Truth Maintenance Systems, Preliminary Report. In Proceedings ofSixth National Conference on Artificial Intelligence, 183?188."},{"key":"CR40","first-page":"192","volume-title":"Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law","author":"G. Sartor","year":"1994","unstructured":"Sartor, G. 1994. A Simple Computational Model for Non-Monotonic and Adversarial Legal Reasoning. In Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law, 192?201. Amsterdam: Association for Computing Machinery."},{"key":"CR41","unstructured":"Schuler, W. & Smith, J. B. 1990. Author's Argumentation Assistant (AAA): A Hypertext-Based Authoring Tool for Argumentative Texts. InHypertext: Concepts, Systems and Applications, eds. A. Rizk, N. Streitz, and J. Andre, Cambridge University Press."},{"key":"CR42","unstructured":"Selman, B. 1990. Computing Explanations. In Working Notes of theAAAI Spring Symposium on Automated Abduction, 82?84."},{"key":"CR43","unstructured":"Selman, B. & Levesque, H. J. 1990. Abductive and Deafult Reasoning: A Computational Core. In Proceedings of theEighth National Conference on Artificial Intelligence, 343?348."},{"issue":"1","key":"CR44","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00118477","volume":"1","author":"D. B. Skalak","year":"1992","unstructured":"Skalak, D. B. & Rissland, E. L. 1992. Arguments and Cases: An Inenvitable Intertwining.Artificial Intelligence and Law 1(1): 3?45.","journal-title":"Artificial Intelligence and Law"},{"key":"CR45","unstructured":"Susskind, R. E. 1987.Expert Systems in Law. Oxford."},{"key":"CR46","unstructured":"Toulmin, S. E. 1958.The Uses of Argument. Cambridge University Press."}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00871972.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00871972\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00871972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T04:02:13Z","timestamp":1682913733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00871972"}},"subtitle":["An exercise in computational dialectics"],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":46,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00871972"],"URL":"https:\/\/doi.org\/10.1007\/bf00871972","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}