Law and logic: A review from an argumentation perspective
暂无分享,去创建一个
[1] James William Forrester,et al. Gentle Murder, or the Adverbial Samaritan , 1984 .
[2] Marek Sergot,et al. On the characterization of law and computer systems: the normative systems perspective , 1994 .
[3] H. Prakken. Analysing reasoning about evidence with formal models of argumentation , 2004 .
[4] John R. Josephson. On the Proof Dynamics of Inference to the Best Explanation , 2002 .
[5] Juliano S.A. Maranhão. Defeasibility, Contributory Conditionals, and Refinement of Legal Systems* , 2012 .
[6] Trevor J. M. Bench-Capon. Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..
[7] H. Crombag,et al. Anchored Narratives: The Psychology of Criminal Evidence , 1994 .
[8] N. Fenton. Science and law: Improve statistics in court , 2011, Nature.
[9] Trevor J. M. Bench-Capon,et al. A method for the computational modelling of dialectical argument with dialogue games , 2000, Artificial Intelligence and Law.
[10] John-Jules Ch. Meyer,et al. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..
[11] Vincent A. W. M. M. Aleven,et al. Teaching case-based argumentation through a model and examples , 1997 .
[12] Urs Kindhäuser,et al. The Law as a System of Rules , 1986 .
[13] Phan Minh Dung,et al. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..
[14] Richard Lempert,et al. University of Michigan Law School Scholarship Repository University of Michigan Law School Scholarship Repository , 2022 .
[15] Bartosz Brozek,et al. TU, tu , 2020, Catalysis from A to Z.
[16] Lennart Åqvist,et al. Causing Harm: A Logico-Legal Study , 1989 .
[17] Trevor J. M. Bench-Capon,et al. Hierarchical Formalizations , 1991, Int. J. Man Mach. Stud..
[18] Martin van Hees. Review of: ‘L. Aqvist and Ph. Mullock, Causing Harm. A Logico-Legal Study. De Gruyter, Berlin, 1990’ , 1997 .
[19] Jan Odelstad,et al. Stratification of normative systems with intermediaries , 2011, J. Appl. Log..
[20] J. Horty. RULES AND REASONS IN THE THEORY OF PRECEDENT , 2011, Legal Theory.
[21] Alan Ross Anderson,et al. A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC , 1958 .
[22] D. Schum. The Evidential Foundations of Probabilistic Reasoning , 1994 .
[23] Jörg Hansen,et al. Deontic logics for prioritized imperatives , 2006, Artificial Intelligence and Law.
[24] Scott Brewer. Logocratic method and the analysis of arguments in evidence , 2011 .
[25] J. Wigmore,et al. The Principles of Judicial Proof , 1933 .
[26] Henry Prakken,et al. The ASPIC+ framework for structured argumentation: a tutorial , 2014, Argument Comput..
[27] C. E. Alchourrón,et al. Philosophical foundations of deontic logic and the logic of defeasible conditionals , 1994 .
[28] Francesca Toni,et al. Abstract argumentation , 1996, Artificial Intelligence and Law.
[29] Gerhard Brewka,et al. Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus , 2001, J. Log. Comput..
[30] J. Searle. The Construction of Social Reality , 1997 .
[31] Richard H. S. Tur. Time and Law , 2002 .
[32] Trevor J. M. Bench-Capon,et al. Practical reasoning as presumptive argumentation using action based alternating transition systems , 2007, Artif. Intell..
[33] Henry Prakken,et al. Dyadic Deontic Logic and Contrary-to-Duty Obligations , 1997 .
[34] Tom M. van Engers,et al. Ontologies in the Legal Domain , 2008, Digital Government.
[35] L. Goble. The Blackwell guide to philosophical logic , 2001 .
[36] S. Lindström,et al. New Foundations for Ethical Theory , 2001 .
[37] Frank Dignum,et al. The many faces of counts-as: A formal analysis of constitutive rules , 2008, J. Appl. Log..
[38] Rinke Hoekstra,et al. Core concepts of law: taking common-sense seriously , 2004 .
[39] Antonino Rotolo,et al. Why lawyers are nice (or nasty): a game-theoretical argumentation exercise , 2009, ICAIL.
[40] C. E. Alchourrón,et al. The Expressive Conception of Norms , 1981 .
[41] Layman E. Allen,et al. Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents , 1957 .
[42] Henry Prakken,et al. The Carneades model of argument and burden of proof , 2007, Artif. Intell..
[43] Hajime Yoshino,et al. The systematization of legal meta-inference , 1995, ICAIL '95.
[44] Alexander Artikis,et al. An executable specification of a formal argumentation protocol , 2007, Artif. Intell..
[45] Henry Prakken,et al. On formalising dialogue systems for argumentation in the event calculus , 2006 .
[46] Bart Verheij,et al. Dialectical Argumentation with Argumentation Schemes: An Approach to Legal Logic , 2003, Artificial Intelligence and Law.
[47] A. C. Roth,et al. Case-based reasoning in the law : a formal theory of reasoning by case comparison , 2003 .
[48] Carole D. Hafner,et al. Representing teleological structure in case-based legal reasoning: the missing link , 1993, ICAIL '93.
[49] Trevor J. M. Bench-Capon,et al. Isomorphism and legal knowledge based systems , 1992, Artificial Intelligence and Law.
[50] Sanjay Modgil,et al. Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..
[51] Henry Prakken,et al. A formal model of adjudication dialogues , 2008, Artificial Intelligence and Law.
[52] D. Walton,et al. Commitment In Dialogue , 1995 .
[53] Henry Prakken. Two approaches to the formalisation of defeasible deontic reasoning , 1996, Stud Logica.
[54] Henry Prakken,et al. A general account of argumentation with preferences , 2013, Artif. Intell..
[55] Giovanni Sartor,et al. Normative conflicts in legal reasoning , 1992, Artificial Intelligence and Law.
[56] Jan M. Broersen,et al. Deontic epistemic stit logic distinguishing modes of mens rea , 2011, J. Appl. Log..
[57] Nicola Guarino,et al. Sweetening Ontologies with DOLCE , 2002, EKAW.
[58] Jörgen Jörgensen,et al. Imperatives and logic , 1937, Erkenntnis.
[59] Henry Prakken,et al. A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.
[60] L. Thorne McCarty,et al. Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal Reasoning , 1977 .
[61] Floris Bex,et al. Arguments, Stories and Criminal Evidence - A Formal Hybrid Theory , 2011, Law and philosophy library.
[62] L. Thorne McCarty,et al. A language for legal Discourse I. basic features , 1989, ICAIL '89.
[63] M. Hart,et al. SOME FUNDAMENTAL LEGAL CONCEPTIONS AS APPLIED IN JUDICIAL REASONING , 2008 .
[64] Guido Governatori,et al. Temporalised normative positions in defeasible logic , 2005, ICAIL '05.
[65] WooSoo Park. The New Rhetoric , 2011 .
[66] Giovanni Sartor,et al. The Logic of Proportionality: Reasoning with Non-Numerical Magnitudes , 2013, German Law Journal.
[67] B. Hansson. An analysis of some deontic logics , 1969 .
[68] Christen Krogh,et al. Obligations directed from bearers to counterparts , 1995, ICAIL '95.
[69] David Mead,et al. Legislative knowledge base systems for public administration: some practical issues , 1991, ICAIL '91.
[70] Henry Prakken,et al. Resolutions in Structured Argumentation , 2012, COMMA.
[71] Pietro Baroni,et al. On the resolution-based family of abstract argumentation semantics and its grounded instance , 2011, Artif. Intell..
[72] N. Belnap,et al. Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .
[73] Jörg Hansen,et al. On a Fundamental Problem of Deontic Logic , 2008 .
[74] Robert L. Martin,et al. Knowledge and Justification. , 1976 .
[75] Henry Prakken. Formalising Debates About Law-Making Proposals as Practical Reasoning , 2015, Logic in the Theory and Practice of Lawmaking.
[76] Henry Prakken,et al. Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.
[77] John L. Pollock,et al. Belief Revision And Epistemology , 2000, Synthese.
[78] Alexander Artikis,et al. An executable specification of an argumentation protocol , 2003, ICAIL.
[79] G. Sartor,et al. A logical analysis of burdens of proof , 2009 .
[80] Fengkui Ju,et al. Imperatives and Logic ∗ , 2010 .
[81] Giovanni Sartor,et al. Legal concepts as inferential nodes and ontological categories , 2009, Artificial Intelligence and Law.
[82] Ringo Baumann. What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation , 2012, ECAI.
[83] E. Sosa. Knowledge and justification , 1994 .
[84] Guido Governatori,et al. A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems , 2009, Expert Syst. Appl..
[85] Trevor J. M. Bench-Capon,et al. A model of legal reasoning with cases incorporating theories and values , 2003, Artif. Intell..
[86] Giovanni Sartor,et al. Fundamental legal concepts: A formal and teleological characterisation* , 2006, Artificial Intelligence and Law.
[87] Joseph Y. Halpern,et al. Responsibility and Blame: A Structural-Model Approach , 2003, IJCAI.
[88] John L. Pollock,et al. Defeasible Reasoning , 2020, Synthese Library.
[90] A. Lodder. DiaLaw: On Legal Justification and Dialogical Models of Argumentation , 1999 .
[91] T. Anderson,et al. Analysis of evidence : how to do things with facts , 1997 .
[92] Henry Prakken,et al. An abstract framework for argumentation with structured arguments , 2010, Argument Comput..
[93] Trevor J. M. Bench-Capon,et al. Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation , 1987, ICAIL '87.
[94] Ronald Prescott Loui,et al. A design for reasoning with policies, precedents, and rationales , 1993, ICAIL '93.
[95] Karin Baier,et al. The Uses Of Argument , 2016 .
[96] Ronald Prescott Loui. Jaap Hage, Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic. Law and Philosophy Library , 2004, Artificial Intelligence and Law.
[97] L. T. McCarty. A language for legal discourse , 1989 .
[98] Trevor J. M. Bench-Capon,et al. Arguing about cases as practical reasoning , 2005, ICAIL '05.
[99] Robert Alexy. Theorie der juristischen Argumentation , 1991 .
[100] Guido Governatori,et al. Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.
[101] Guillermo Ricardo Simari,et al. A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..
[102] Henry Prakken,et al. Modelling Reasoning with Precedents in a Formal Dialogue Game , 2004, Artificial Intelligence and Law.
[103] Henry Prakken,et al. Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science , 1998 .
[104] Leon van der Torre,et al. Input/Output Logics , 2000, J. Philos. Log..
[105] Norman Fenton,et al. Avoiding probabilistic reasoning fallacies in legal practice using Bayesian networks , 2011 .
[106] L. THORNE MCCARTY. Ownership: A case study in the representation of legal concepts , 2004, Artificial Intelligence and Law.
[107] Trevor J. M. Bench-Capon,et al. Introducing the Logic and Law Corner , 2008, J. Log. Comput..
[108] Henry Prakken,et al. Formalising a legal opinion on a legislative proposal in the ASPIC+ framework , 2012, JURIX.
[109] John L. Pollock,et al. Defeasible Reasoning and Degrees of Justification , 2010, Argument Comput..
[110] R. Macdonald. Rules , 2004, BMJ : British Medical Journal.
[111] Bart Verheij,et al. Dialectical arguments and case comparison , 2004 .
[112] Giovanni Sartor,et al. The Legal Theory Perspective: Doctrinal Conceptual Systems vs. Computational Ontologies , 2011, Approaches to Legal Ontologies.
[113] Henry Prakken,et al. An exercise in formalising teleological case-based reasoning , 2002, Artificial Intelligence and Law.
[114] Jonas Barklund,et al. Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic , 1994, J. Log. Program..
[115] Douglas Walton,et al. Proof Burdens and Standards , 2009, Argumentation in Artificial Intelligence.
[116] Marek J. Sergot,et al. Indian central civil service pension rules: a case study in logic programming applied to regulations , 1991, ICAIL '91.
[117] Jaime Delgado,et al. An Ontological Approach for the Management of Rights Data Dictionaries , 2005, JURIX.
[118] N. Isaacs,et al. Fundamental Legal Conceptions as Applied in Judicial Reasoning: And Other Legal Essays , 2010 .
[119] Kevin D. Ashley,et al. A case-based system for trade secrets law , 1987, ICAIL '87.
[120] Ingmar Pörn,et al. POSITION AND CHANGE: A Study in Law and Logic , 1978 .
[121] Layman E. Allen. Formalizing Hohfeldian Analysis to Clarify the Multiple Senses of 'Legal Right': A Powerful Lens for the Electronic Age , 1974 .
[122] Henry Prakken,et al. On modelling burdens and standards of proof in structured argumentation , 2011, JURIX.
[123] Vincent Aleven,et al. Using background knowledge in case-based legal reasoning: A computational model and an intelligent learning environment , 2003, Artif. Intell..
[124] Hector-Neri Castañeda,et al. Review: Carlos E. Alchourron, Logic of Norms and Logic of Normative Propositions , 1972 .
[125] D. Walton. Argumentation Schemes for Presumptive Reasoning , 1995 .
[126] Nicola Guarino,et al. The Ontological Level: Revisiting 30 Years of Knowledge Representation , 2009, Conceptual Modeling: Foundations and Applications.
[127] Marek Sergot,et al. A computational theory of normative positions , 2001, ACM Trans. Comput. Log..
[128] Bart Verheij,et al. DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions , 2003, J. Log. Comput..
[129] Douglas Walton,et al. Legal reasoning with argumentation schemes , 2009, ICAIL.
[130] Ronald Prescott Loui,et al. Rationales and argument moves , 1995, Artificial Intelligence and Law.
[131] Hector Geffner,et al. Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..
[132] Jim D. Mackenzie,et al. Question-begging in non-cumulative systems , 1979, J. Philos. Log..
[133] Jaap Hage,et al. The law as a dynamic interconnected system of states of affairs: a legal top ontology , 1999, Int. J. Hum. Comput. Stud..
[134] Paul McNamara,et al. Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.
[135] Bart Verheij,et al. About the logical relations between cases and rules , 2008, JURIX.
[136] Henry Prakken,et al. Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations , 2003, Artificial Intelligence and Law.
[137] Trevor J. M. Bench-Capon,et al. A formalization of argumentation schemes for legal case-based reasoning in ASPIC+ , 2015, J. Log. Comput..
[138] Paul Thagard,et al. CAUSAL INFERENCE IN LEGAL DECISION MAKING: EXPLANATORY COHERENCE VS. BAYESIAN NETWORKS , 2004, Appl. Artif. Intell..
[139] Henry Prakken,et al. Heuristics in Argumentation: A Game-Theoretical Investigation , 2008, COMMA 2008.
[140] Giovanni Sartor,et al. Time and norms: a formalisation in the event-calculus , 1999, ICAIL '99.
[141] E. Morgan,et al. The Principles of Judicial Proof , 1931 .
[142] S. Brewer,et al. Exemplary Reasoning: Semantics, Pragmatics, and the Rational Force of Legal Argument by Analogy , 1996 .
[143] J. Svensson,et al. Idea Grou p Inc . Copy right Idea Grou p Inc . Copy right Idea Grou p Inc . Copy right Idea Grou p Inc . Chapter VIII The Use of Legal Expert Systems in Administrative Decision Making , 2018 .
[144] Thomas Frei,et al. An Artificial Intelligence Approach To Legal Reasoning , 2016 .
[145] Carlos E. Alchourrón,et al. Hierarchies of Regulations and their Logic , 1981 .
[146] Jaap Hage. Reasoning with Rules , 1997 .
[147] Henry Prakken,et al. More on Presumptions and Burdens of Proof , 2008, JURIX.
[148] Ingmar Pörn. On the Nature of a Social Order , 1989 .
[149] J. Horty. Agency and Deontic Logic , 2001 .
[150] L. Mommers. Ontologies in the Legal Domain , 2010 .
[151] J. Hage. Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic , 1996 .
[152] Henry Prakken,et al. A hybrid formal theory of arguments, stories and criminal evidence , 2010, Artificial Intelligence and Law.
[153] David Dobbs. Psychiatry: A very sad story , 2013, Nature.
[154] Trevor J. M. Bench-Capon,et al. A factor-based definition of precedential constraint , 2012, Artificial Intelligence and Law.
[155] Marek J. Sergot,et al. A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.
[156] Thomas L. van der Weide,et al. Arguing to motivate decisions , 2011 .
[157] Jaap Hage,et al. An Integrated View on Rules and Principles , 1998, Artificial Intelligence and Law.
[158] Hugo Cesar Hoeschl,et al. Artificial Intelligence and Law , 2004, AIAI.
[159] M. Feldman,et al. Reconstructing Reality in the Courtroom: Justice and Judgment in American Culture , 1981 .
[160] Ch. Perelman,et al. The New Rhetoric: A Treatise on Argumentation , 1971 .
[161] L. Thorne McCarty,et al. Some arguments about legal arguments , 1997, ICAIL '97.
[162] Trevor J. M. Bench-Capon,et al. Argumentation in artificial intelligence , 2007, Artif. Intell..
[163] Marek J. Sergot,et al. The British Nationality Act as a logic program , 1986, CACM.
[164] Lena Osterhagen,et al. Practical Reason And Norms , 2016 .
[165] J. Pollock. Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .
[166] Patrick Suppes,et al. Logic, Methodology and Philosophy of Science , 1963 .
[167] Guido Governatori,et al. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate , 2004, Artificial Intelligence and Law.
[168] Pietro Torasso,et al. A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..
[169] H. B. Verheij. Rules, reasons, arguments : formal studies of argumentation and defeat , 1996 .
[170] Trevor J. M. Bench-Capon,et al. Argument schemes for two-phase democratic deliberation , 2011, ICAIL.
[171] 심헌섭. Robert Alexy, Theorie der juristischen Argumentation (Die Theorie der rationalen Diskurses als Theorie der juristischen Begrundung) Suhrkamp Verlag, Frankfurt/M 1978 , 1983 .
[172] Henry Prakken,et al. Coherence and Flexibility in Dialogue Games for Argumentation , 2005, J. Log. Comput..
[173] Judea Pearl,et al. Embracing Causality in Default Reasoning , 1988, Artif. Intell..
[174] R. M. Hare,et al. Norm and Action: A Logical Enquiry. , 1965 .
[175] David Poole,et al. Logical Argumentation, Abduction and Bayesian Decision Theory: A Bayesian Approach to Logical Arguments and Its Application to Legal Evidential Reasoning , 2002 .
[176] Robert Alexy. Theorie der juristischen Argumentation : die Theorie des rationalen Diskurses als Theorie der juristischen Begründung , 1978 .
[177] David A. Schum,et al. Analysis of Evidence: Frontmatter , 2005 .
[178] Guido Governatori,et al. Computing Strong and Weak Permissions in Defeasible Logic , 2012, Journal of Philosophical Logic.
[179] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[180] D. Walton,et al. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .
[181] Kevin D. Ashley. Modeling legal argument - reasoning with cases and hypotheticals , 1991, Artificial intelligence and legal reasoning.
[182] Guido Governatori,et al. Variants of temporal defeasible logics for modelling norm modifications , 2007, ICAIL.
[183] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .
[184] Trevor J. M. Bench-Capon. The missing link revisited: The role of teleology in representing legal argument , 2002, Artificial Intelligence and Law.
[185] Aldo Gangemi,et al. A Constructive Framework for Legal Ontologies , 2003, Law and the Semantic Web.
[186] Nicholas Rescher,et al. Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge , 1977 .
[187] Henry Prakken,et al. A study of accrual of arguments, with applications to evidential reasoning , 2005, ICAIL '05.
[188] André Valente,et al. Legal modeling and automated reasoning with ON-LINE , 1999, Int. J. Hum. Comput. Stud..