Bart Verheij. Rules, Reasons, Arguments. Formal studies of argumentation and defeat. PhD thesis, Universiteit Maastricht, 1996.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Generating Exception Structures for Legal Information.. - Winkels, Bosscher, Boer, .. (1999) (Correct)
....in this section apply to all ships . This could be represented by making the corrected assumption explicit. In the example given, all rules in the section have an additional condition that the ship at hand is not a passenger ship. Most researchers agree that this is not an elegant solution (cf. [11, 16]) Another way to handle them, is to represent this kind of scope restrictions for the applicability of norms as meta norms. We do not consider these type of undercutter defeaters to be exceptions, since there is no conflict, i.e. opposing normative qualification of a case (see next section for ....
Verheij, B. (1996). Rules, Reasons, Arguments. Formal studies of argumentation and defeat. PhD thesis, University of Maastricht, 1996.
Modelling Reasoning with Precedents in a Formal Dialogue Game - Prakken, Sartor (1998) (9 citations) (Correct)
....has focused on the dialectical process of citing and comparing cases, and on the various heuristics of case based reasoning. Another development in AI Law is logical research on nonmonotonic, or defeasible legal reasoning (e.g. Sartor, 1992; Prakken, 1993; Gordon, 1995; Prakken Sartor, 1996b; Verheij, 1996 and Hage, 1996, 1997) Here the main concern is to give logical accounts of legal reasoning with incomplete, uncertain or inconsistent knowledge. This development draws on and adds to the tools of nonmonotonic logic. A particularly useful tool has been found in logical systems for defeasible ....
Verheij, B. 1996. Rules, Reasons, Arguments. Formal Studies of Argumentation and Defeat. Doctoral dissertation University of Maastricht.
DefLog - a logic of dialectical justification and defeat - Verheij (2000) Self-citation (Verheij) (Correct)
.... S, DJ, P and MP denote the sets of extensions, maximal stages, satisfiability classes, stages, dialectically justified stages, dialectically preferred stages and maximal dialectically preferred stages of a theory, 10 This section extends my earlier work on the relations between types of stages (Verheij, 1996a) August 11, 2000 27 respectively, the relations between the types within the same group can be summarized as in the following figure. MP E SC M P E DJ satisfiability types dialectical justification types S The arrows indicate inclusion maps between the sets of stages. All inclusions have been proven ....
Verheij, B. (1996b). Rules, Reasons, Arguments. Formal studies of argumentation and defeat. Dissertation. Universiteit Maastricht, Maastricht.
States of Affairs, Events, and Rules: An Abstract Model of the.. - Verheij, Hage (1997) Self-citation (Verheij) (Correct)
....is related to priorities between legal rules (as for instance in cases of Lex Superior) and the weighing of opposing reasons resulting from legal principles. Hage and Verheij [1997] discuss an example of an exception to a rule from the point of view of our abstract model. Hage [1996, 1997] and Verheij [1996] (among others) discuss the topic of defeasibility more extensively. Hage and Verheij [1997] take the relation between rules, principles and goals into account (cf. also Verheij, Hage and Van den Herik [forthcoming] 6 Signing a sales contract In the sections 6 and 7, we illustrate the uses of ....
.... law in perspective by a discussion of related work by Valente [1995] and Van Kralingen [1995] and Visser [1995] Hage and Verheij [1997] also discuss the work of McCarty [1989] and the relations of the present abstract model with Reason Based Logic [e.g. Hage and Verheij 1994; Hage 1996, 1997; Verheij 1996]. 9.1 Valente s functional ontology of law Valente [1995] has developed a functional ontology of law. This ontology is based on a functional perspective on the legal system, in which it is assumed that the main function of the legal system is to react to social behavior [Valente 1995, p. 49] ....
Verheij, B. (1996). Rules, Reasons, Arguments. Formal studies of argumentation and defeat. Dissertation. Maastricht.
Logic, context and valid inference - or: Can there be a logic of.. - Verheij (1999) Self-citation (Verheij) (Correct)
....defeat and priority handling belong to this class. The second class consists of the more typically legally oriented part. Applications of the abstract model to conflict handling 18 Here I paraphrase Trevor Bench Capon, who once spoke of Reason Based Logic as a baroque system of logic. Bart Verheij 10 using legal principles, such as Lex superior, and to applicability statements can be regarded as belonging to the second class. Note that the contextual logic point of view and the abstract logic point of view, though each leads to a different answer to the question whether a logic of law can ....
Verheij, B. (1996a). Rules, Reasons, Arguments. Formal studies of argumentation and defeat. Dissertation. Universiteit Maastricht, Maastricht.
Note on Short-comings in CumulA - Sren Holbech Nielsen (Correct)
No context found.
Bart Verheij. Rules, Reasons, Arguments. Formal studies of argumentation and defeat. PhD thesis, Universiteit Maastricht, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC