Bart Verheij

Learn More
This paper describes an approach to legal logic based on the formal analysis of argumentation schemes. Argumentation schemes a notion borrowed from the .eld of argumentation theory - are a kind of generalized rules of inference, in the sense that they express that given certain premises a particular conclusion can be drawn. However, argumentation schemes(More)
Assumptions are often not considered to be definitely true, but only as prima facie justified. When an assumption is prima facie justified, there can for instance be a reason against it, by which the assumption is not actually justified. The assumption is then said to be defeated. This requires a revision of the standard conception of logical interpretation(More)
Solving the first of these two drawbacks has led to a new graphical representation of the arguments, in which argument attacks are shown, and to a change in the argumentation theory, viz. the introduction of a novel notion of an argument, viz. that of a <italic>dialectical</italic> argument. Briefly, a dialectical argument is an argument in which attacks(More)
The present paper discusses experimental argument assistance tools. In contrast with automated reasoning tools, the objective is not to replace reasoning, but to guide the user’s production of arguments. Two systems are presented, ARGUE! and ARGUMED based on DEFLOG. The focus is on defeasible argumentation with an eye on the law. Argument assistants for(More)
This paper presents a theory of reasoning with evidence in order to determine the facts in a criminal case. The focus is on the process of proof, in which the facts of the case are determined, rather than on related legal issues, such as the admissibility of evidence. In the literature, two approaches to reasoning with evidence can be distinguished, one(More)
In this paper, an abstract model of the law is presented that has three primitives: states of a!airs, events and rules. The starting point of the abstract model is that the law is a dynamic system of states of a!airs which are connected by means of rules and events. The abstract model can be regarded as a top ontology of the law, that can be applied to(More)