Arguments on legal evidence rely on generalizations, that link a certain circumstance to a certain hypothesis and warrants the claim that the circumstance makes the hypothesis more probable. Some generalizations are acceptable and others are unacceptable. A generalization can be unacceptable on at least four different grounds. A false generalization is unacceptable because membership in the reference class does not increase the probability of the hypothesis. A non-robust generalization is unacceptable because it uses a reference class that is too heterogeneous. (...) A biastriggering generalization is unacceptable because decision makers are inclined to overestimate the evidentiary value of membership in the reference class. A discriminating generalization is unacceptable because it puts members in the reference class in an unfair disadvantage. Research funded by the Swedish Research Council. (shrink)

In this paper, we continue our research on a hybrid narrative-argumentative approach to evidential reasoning in the law by showing the interaction between factual reasoning (providing a proof for ‘what happened’ in a case) and legal reasoning (making a decision based on the proof). First we extend the hybrid theory by making the connection with reasoning towards legal consequences. We then emphasise the role of legal stories (as opposed to the factual stories of the hybrid theory). Legal stories provide a (...) coherent, holistic legal perspective on a case. They steer what needs to be proven but are also selected on the basis of what can be proven. We show how these legal stories can be used to model a shift of the legal perspective on a case, and we discuss how gaps in a legal story can be filled using a factual story (i.e. the process of reasoning with circumstantial evidence). Our model is illustrated by a discussion of the Dutch Wamel murder case. (shrink)

In this paper, we look at reasoning with evidence and facts in criminal cases. We show how this reasoning may be analysed in a dialectical way by means of critical questions that point to typical sources of doubt. We discuss critical questions about the evidential arguments adduced, about the narrative accounts of the facts considered, and about the way in which the arguments and narratives are connected in an analysis. Our treatment shows how two different types of knowledge, represented as (...) schemes, play a role in reasoning with evidence: argumentation schemes and story schemes. (shrink)

We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...) a history of the last quarter century of the field, and provide some insights into where it has come from, where it is now, and where it might go. (shrink)

Doug Walton, who died in January 2020, was a prolific author whose work in informal logic and argumentation had a profound influence on Artificial Intelligence, including Artificial Intelligence and Law. He was also very interested in interdisciplinary work, and a frequent and generous collaborator. In this paper seven leading researchers in AI and Law, all past programme chairs of the International Conference on AI and Law who have worked with him, describe his influence on their work.

In this paper we describe the impact that Walton’s conception of argumentation schemes had on AI and Law research. We will discuss developments in argumentation in AI and Law before Walton’s schemes became known in that community, and the issues that were current in that work. We will then show how Walton’s schemes provided a means of addressing all of those issues, and so supplied a unifying perspective from which to view argumentation in AI and Law.

The first issue of _Artificial Intelligence and Law_ journal was published in 1992. This paper discusses several topics that relate more naturally to groups of papers than a single paper published in the journal: ontologies, reasoning about evidence, the various contributions of Douglas Walton, and the practical application of the techniques of AI and Law.

In this paper, we propose an argumentation formalism that allows for both deductive and abductive argumentation, where ‘deduction’ is used as an umbrella term for both defeasible and strict ‘forward’ inference. Our formalism is based on an extended version of our previously proposed information graph formalism, which provides a precise account of the interplay between deductive and abductive inference and causal and evidential information. In the current version, we consider additional types of information such as abstractions which allow domain experts (...) to be more expressive in stating their knowledge, where we identify and impose constraints on the types of inferences that may be performed with the different types of information. A new notion of attack is defined that captures a crucial aspect of abductive reasoning, namely that of competition between abductively inferred alternative explanations. Our argumentation formalism generates an abstract argumentation framework and thus allows arguments to be formally evaluated. We prove that instantiations of our argumentation formalism satisfy key rationality postulates. (shrink)

This paper combines three computational argumentation systems to model the sequence of argumentation in a famous murder trial and the appeal procedure that followed. The paper shows how the argumentation scheme for argument from expert opinion can be built into a testing procedure whereby an argument graph is used to interpret, analyze and evaluate evidence-based natural language argumentation of the kind found in a trial. It is shown how a computational argumentation system can do this by combining argument schemes with (...) argumentation graphs. Frighteningly, it is also shown by this example that when there are potentially confusing conflicting arguments from expert opinion, a jury can only too easily accept a conclusion prematurely before considering critical questions that need to be asked. (shrink)

In this paper, it is shown (1) that there are two schemes for argument from analogy that seem to be competitors but are not, (2) how one of them is based on a distinctive type of similarity premise, (3) how to analyze the notion of similarity using story schemes illustrated by some cases, (4) how arguments from precedent are based on arguments from analogy, and in many instances arguments from classification, and (5) that when similarity is defined by means of (...) episode schemes, we can get a clearer idea of how it integrates with the use of argument from classification and argument from precedent in case-based reasoning by using a dialogue structure. (shrink)

In his book on fallacies, Hamblin built a very simple system for argumentation in dialogue he called the Why Because System with Questions. In his discussion of this system, he replaced the concept of burden of proof with a simpler concept of initiative, which could be described as something like getting the upper hand as the argumentation moves back and forth in the dialogue between the one party and the other. No doubt he realized that the concept of burden of (...) proof was too complex a matter to be dealt with in the limited scope of his chapter on formal dialogue systems. In this paper is shown how an extended version of Hamblin’s dialogue system provides a nice way of modeling the phenomenon of shifting of burden of proof in a dialogue, yielding a precise way of distinguishing between different kinds of burden of proof, and dealing with fallacies like the argumentum ad ignorantiam (argument from negative evidence). (shrink)

In this paper, the Carneades argumentation system is extended to represent a procedural view of inquiry in which evidence is marshalled to support or defeat claims to knowledge. The model is a sequence of moves in a collaborative group inquiry in which parties take turns making assertions about what is known or not known, putting forward evidence to support them, and subjecting these moves to criticisms. It is shown how this model of evaluating evidence in an inquiry is based on (...) a defeasible logic using forms of argument that admit exceptions. It is contended that reasoning from absence of knowledge is as important to inquiry as positive reasoning from evidence to knowledge. The philosophical conflict between this view of reasoning about knowledge and the true-belief-plus view is explored by airing objections and replies on both sides. (shrink)

In this paper it is shown how plausible reasoning of the kind illustrated in the ancient Greek example of the weak and strong man can be analyzed and evaluated using a procedure in which the pro evidence is weighed against the con evidence using formal, computational argumentation tools. It is shown by means of this famous example how plausible reasoning is based on an audience’s recognition of situations of a type they are familiar with as normal and comprehensible in their (...) shared common knowledge. The paper extends previous work on this example by using three new multiagent argumentation schemes closely related to the scheme for argument from negative consequences. (shrink)

This paper takes an argumentation approach to find the place of trust in a method for evaluating arguments from expert opinion. The method uses the argumentation scheme for argument from expert opinion along with its matching set of critical questions. It shows how to use this scheme in three formal computational argumentation models that provide tools to analyse and evaluate instances of argument from expert opinion. The paper uses several examples to illustrate the use of these tools. A conclusion of (...) the paper is that from an argumentation point of view, it is better to critically question arguments from expert opinion than to accept or reject them based solely on trust. (shrink)

In his book on fallacies, Hamblin built a very simple system for argumentation in dialogue he called the Why Because System with Questions. In his discussion of this system, he replaced the concept of burden of proof with a simpler concept of initiative, which could be described as something like getting the upper hand as the argumentation moves back and forth in the dialogue between the one party and the other. No doubt he realized that the concept of burden of (...) proof was too complex a matter to be dealt with in the limited scope of his chapter on formal dialogue systems. In this paper is shown how an extended version of Hamblin’s dialogue system provides a nice way of modeling the phenomenon of shifting of burden of proof in a dialogue, yielding a precise way of distinguishing between different kinds of burden of proof, and dealing with fallacies like the argumentum ad ignorantiam. (shrink)

Plausible (eikotic) reasoning known from ancient Greek (late Academic) skeptical philosophy is shown to be a clear notion that can be analyzed by argumentation methods, and that is important for argumentation studies. It is shown how there is a continuous thread running from the Sophists to the skeptical philosopher Carneades, through remarks of Locke and Bentham on the subject, to recent research in artificial intelligence. Eleven characteristics of plausible reasoning are specified by analyzing key examples of it recognized as important (...) in ancient Greek skeptical philosophy using an artificial intelligence model called the Carneades Argumentation System (CAS). By applying CAS to ancient examples it is shown how plausible reasoning is especially useful for gaining a better understanding of evidential reasoning in law, and argued that it can also be applied to everyday argumentation. Our analysis of the snake and rope example of Carneades is also used to point out some ways CAS needs to be extended if it is to more fully model the views of this ancient philosopher on argumentation. (shrink)

While courts depend on expert opinions in reaching sound judgments, the role of the expert witness in legal proceedings is associated with a litany of problems. Perhaps most prevalent is the question of under what circumstances should testimony be admitted as expert opinion. We review the changing policies adopted by American courts in an attempt to ensure the reliability and usefulness of the scientific and technical information admitted as evidence. We argue that these admissibility criteria are best seen in a (...) dialectical context as a set of critical questions of the kind commonly used in models of argumentation. (shrink)

A Bibliography of Douglas Walton’s Published Works, 1971-20.

. A heuristic search procedure for inventing legal arguments is built on two tools already widely in use in argumentation. Argumentation schemes are forms of argument representing premise‐conclusion and inference structures of common types of arguments. Schemes especially useful in law represent defeasible arguments, like argument from expert opinion. Argument diagramming is a visualization tool used to display a chain of connected arguments linked together. One such tool, Araucaria, available free at , helps a user display an argument on the (...) computer screen as an inverted tree structure with an ultimate conclusion as the root of the tree. These argumentation tools are applicable to analyzing a mass of evidence in a case at trial, in a manner already known in law using heuristic methods and Wigmore diagrams . In this paper it is shown how they can be automated and applied to the task of inventing legal arguments. One important application is to proof construction in trial preparation. (shrink)

This paper is one in a series of rational analyses of the Dutch Simonshaven case, each using a different theoretical perspective. The theoretical perspectives discussed in the literature typically use arguments, scenarios, and probabilities, in various combinations. The theoretical perspective on evidential reasoning used in this paper has been designed to connect arguments, scenarios, and probabilities in a single formal modeling approach, in an attempt to investigate bridges between qualitative and quantitative analytic styles. The theoretical perspective uses the recently proposed (...) logical formalism of case models, where cases represent possible combinations of evidence and events, ordered by an ordering relation. In the context of evidential reasoning, the ordering relation can be represented by a probability function. As an ordering relation is qualitative in nature, the theoretical perspective is in a formally precise sense simultaneously with and without probabilities. (shrink)

Goal-oriented requirements modeling approaches aim to capture the intentions of the stakeholders involved in the development of an information system as goals and tasks. The process of constructing such goal models usually involves discussions between a requirements engineer and a group of stakeholders. Not all the arguments in such discussions can be captured as goals or tasks: e.g., the discussion whether to accept or reject a certain goal and the rationale for acceptance or rejection cannot be captured in goal models. (...) In this paper, we apply techniques from computational argumentation to a goal modeling approach by using a coding analysis in which stakeholders discuss requirements for a Traffic Simulator. We combine a simplified version of a traditional goal model, the Goal-oriented Requirements Language, with ideas from argumentation on schemes for practical reasoning into a new framework. RationalGRL provides a formal semantics and tool support to capture the discussions and outcomes of the argumentation process that leads to a goal model. We also define the RationalGRL development process to create a RationalGRL model. (shrink)

To illustrate the development of argumentation theory, the paper traces the journey of the pragma-dialectical theory as it widened its scope, step by step, from an abstract model of critical discussion to the complexities of actual argumentative discourse. It describes how, having contextualized, empiricalized and formalized their approach, pragma-dialecticians are now putting the theory’s analytical instruments to good use in identifying prototypical argumentative patterns in specific communicative activity types in the various communicative domains. This means that they can now start (...) answering the crucial question about the typical characteristics of their discourse asked by interested lawyers, politicians, academics and other practitioners of argumentation. (shrink)

Van Koppen and Mackor offer a scenario‐approach analysis of the case. They first explicate their approach, linking it to inference to the best explanation and theories of explanatory coherence. An important distinction in their analysis is between explaining known facts and predicting novel facts. They claim that their approach is cognitively feasible and stays close to descriptive theories of evidential reasoning. They want to keep it informal, so that legal professionals can apply it.

Legal probabilism is the view that juridical fact-finding should be modeled using Bayesian methods. One of the alternatives to it is the narration view, according to which instead we should conceptualize the process in terms of competing narrations of what happened. The goal of this paper is to develop a reconciliatory account, on which the narration view is construed from the Bayesian perspective within the framework of formal Bayesian epistemology.

This paper describes the author’s development and use of a diagramming model in preparing a legal case for which he was responsible. He combined Wigmorean analysis and object oriented techniques in order to model arguments based on generalisations taken from the real world and from legal precedent. The paper addresses the modelling issues, but in particular identifies the very real benefits that affected the way the case was conducted. Those areas in which the model came into its own were principally (...) the structuring of evidence, the preparation for the cross-examination of witnesses, and ensuring a consistent approach from picking up the case to making the closing submissions. (shrink)

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper provides commentaries on nine significant papers drawn from the Journal’s second decade. Four of the papers relate to reasoning with legal cases, introducing contextual considerations, predicting outcomes on the basis of natural language descriptions of the cases, comparing different ways of representing cases, and formalising precedential reasoning. One introduces a method of analysing arguments that was to become very widely used in AI and Law, namely (...) argumentation schemes. Two relate to ontologies for the representation of legal concepts and two take advantage of the increasing availability of legal corpora in this decade, to automate document summarisation and for the mining of arguments. (shrink)

The general mitigating and aggravating circumstances of criminal liability are elements attached to the crime that, when they occur, affect the punishment quantum. Cuban criminal legislation provides a catalog of such circumstances and some general conditions for their application. Such norms give judges broad discretion in assessing circumstances and adjusting punishment based on the intensity of those circumstances. In the interest of broad judicial discretion, the law does not establish specific ways for measuring circumstances’ intensity. This gives judges more freedom (...) and autonomy, but it also imposes on them more social responsibility and challenges them to manage the uncertainty and subjectivity inherent in this complex activity. This paper proposes a model to aid the linguistic assessment of circumstances’ intensity and to provide linguistic and numerical recommendations to determine an appropriate punishment interval. M-LAMAC determines the collective evaluation of circumstances of the same type, determines the prevalence of a type of circumstance by means of a compensation function, recommends the required modification in the input interval, and finally recommends a numerical interval adjusted to the judges’ initially expressed preferences. The model’s applicability is demonstrated by means of several experiments on a fictitious case of bank document forgery. (shrink)

The Toulmin diagram layout is very familiar and widely used, particularly in the teaching of critical thinking skills. The conventional box-and-arrow diagram is equally familiar and widespread. Translation between the two throws up a number of interesting challenges. Some of these challenges (such as the relationship between Toulmin warrants and their counterparts in traditional diagrams) represent slightly different ways of looking at old and deep theoretical questions. Others (such as how to allow Toulmin diagrams to be recursive) are diagrammatic versions (...) of questions that have already been addressed in artificial intelligence models of argument. But there are further questions (such as the relationships between refutations, rebuttals and undercutters, and the roles of multiple warrants) that are posed as a specific result of examining the diagram inter-translation problem. These three classes of problems are discussed. To the first class are addressed solutions based on engineering pragmatism; to the second class, are addressed solutions drawn from the appropriate literature; and to the third class, fuller exploration is offered justifying the approaches taken in developing solutions that offer both pragmatic utility and theoretical interest. Finally, these solutions are explored briefly in the context of the Araucaria system, showing the ways in which analysts can tackle arguments either using one diagrammatic style or another, or even a combination of the two. (shrink)

In this article the argumentation structure of the court’s decision in the Popov v. Hayashi case is formalised in Prakken’s (Argument Comput 1:93–124; 2010) abstract framework for argument-based inference with structured arguments. In this framework, arguments are inference trees formed by applying two kinds of inference rules, strict and defeasible rules. Arguments can be attacked in three ways: attacking a premise, attacking a conclusion and attacking an inference. To resolve such conflicts, preferences may be used, which leads to three corresponding (...) kinds of defeat, after which Dung’s (Artif Intell 77:321–357; 1995) abstract acceptability semantics can be used to evaluate the arguments. In the present paper the abstract framework is instantiated with strict inference rules corresponding to first-order logic and with defeasible inference rules for defeasible modus ponens and various argument schemes. The main techniques used in the formal reconstruction of the case are rule-exception structures and arguments about rule validity. Arguments about socio-legal values and the use of precedent cases are reduced to arguments about rule validity. The tree structure of arguments, with explicit subargument relations between arguments, is used to capture the dependency relations between the elements of the court’s decision. (shrink)

Decisions concerning proof of facts in criminal law must be rational because of what is at stake, but the decision‐making process must also be cognitively feasible because of cognitive limitations, and it must obey the relevant legal–procedural constraints. In this topic three approaches to rational reasoning about evidence in criminal law are compared in light of these demands: arguments, probabilities, and scenarios. This is done in six case studies in which different authors analyze a manslaughter case from different theoretical perspectives, (...) plus four commentaries on these case studies. The aim of this topic is to obtain more insight into how the different approaches can be applied in a legal context. This will advance the discussion on rational reasoning about evidence in law and will contribute more widely to cognitive science on a number of topics, including the value of probabilistic accounts of cognition and the problem of dealing with cognitive biases in reasoning under uncertainty in practical contexts. (shrink)

This paper reviews the history of AI & Law research from the perspective of argument schemes. It starts with the observation that logic, although very well applicable to legal reasoning when there is uncertainty, vagueness and disagreement, is too abstract to give a fully satisfactory classification of legal argument types. It therefore needs to be supplemented with an argument-scheme approach, which classifies arguments not according to their logical form but according to their content, in particular, according to the roles that (...) the various elements of an argument can play. This approach is then applied to legal reasoning, to identify some of the main legal argument schemes. It is also argued that much AI & Law research in fact employs the argument-scheme approach, although it usually is not presented as such. Finally, it is argued that the argument-scheme approach and the way it has been employed in AI & Law respects some of the main lessons to be learnt from Toulmin’s The Uses of Argument. (shrink)

Prakken gives an argumentation‐based analysis of the manslaughter case using logical tools developed in AI. Prakken regards evidential argumentation as the construction and attack of ‘trees of inference’ from evidence to conclusions by applying generalizations. He argues that this approach clearly shows how evidence and hypotheses relate and what are the points of disagreement, but that it cannot give a clear overview over a case and lacks a systematic account of degrees of uncertainty.

An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, preferences may (...) be used, which leads to three corresponding kinds of defeat: undermining, rebutting and undercutting defeats. The nature of the inference rules, the structure of the logical language on which they operate and the origin of the preferences are, apart from some basic assumptions, left unspecified. The resulting framework integrates work of Pollock, Vreeswijk and others on the structure of arguments and the nature of defeat and extends it in several respects. Various rationality postulates are proved to be satisfied by the framework, and several existing approaches are proved to be a special case of the framework, including assumption-based argumentation and DefLog. (shrink)

In the court of law, a person can be punished for attempting to commit a crime. An open issue in the study of Artificial Intelligence and Law is whether the law of attempts could be formally modelled. There are distinct legal rules for determining attempted crime whereas the last-act rule (also called proximity rule) represents the strictest approach. In this paper, we provide a formal model of the last-act rule using structured argumentation.

Trust is a natural mechanism by which an autonomous party, an agent, can deal with the inherent uncertainty regarding the behaviours of other parties and the uncertainty in the information it shares with those parties. Trust is thus crucial in any decentralised system. This paper builds on recent efforts to use argumentation to reason about trust. Specifically, a set of schemes is provided, and abstract patterns of reasoning that apply in multiple situations geared towards trust. Schemes are described in which (...) one agent, A, can establish arguments for trusting another agent, B, directly, as well as schemes that A can use to construct arguments for trusting C, where C is trusted by B. For both sets of schemes, a set of critical questions is offered that identify the situations in which these schemes can fail. (shrink)

In this paper a theoretical definition that helps to explain how the logical structure of legal presumptions is constructed by applying the Carneades model of argumentation developed in artificial intelligence. Using this model, it is shown how presumptions work as devices used in evidentiary reasoning in law in the event of a lack of evidence to assist a chain of reasoning to move forward to prove or disprove a claim. It is shown how presumptions work as practical devices that may (...) be useful in cases in which there is insufficient evidence to prove the claim to an appropriate standard of proof. (shrink)

When we talk about the coherence of a story, we seem to think of how well its individual pieces fit together—how to explicate this notion formally, though? We develop a Bayesian network based coherence measure with implementation in _R_, which performs better than its purely probabilistic predecessors. The novelty is that by paying attention to the network structure, we avoid simply taking mean confirmation scores between all possible pairs of subsets of a narration. Moreover, we assign special importance to the (...) weakest links in a narration, to improve on the other measures’ results for logically inconsistent scenarios. We illustrate and investigate the performance of the measures in relation to a few philosophically motivated examples, and (more extensively) using the real-life example of the Sally Clark case. (shrink)

In this paper we compare causal models with reason models in the construction of Bayesian networks for legal evidence. In causal models, arrows in the network are drawn from causes to effects. In a reason model, the arrows are instead drawn towards the evidence, from factum probandum to factum probans. We explore the differences between causal models and reason models and observe several distinct advantages with reason models. Reason models are better aligned with the philosophy of Bayesian inference, as they (...) model reasons for up-dating beliefs. Reason models are better suited for measuring the combined support of the evidence, and a prior probability of guilt that reflects the number of possible perpetrators is accommodated more easily with reason models. (shrink)

We present an argument-based formalism of contract dispute resolution following a modern view that the court would resolve a contract dispute by enforcing an interpretation of contract that reasonably represents the mutual intention of contract parties. Legal doctrines provide principles, rules and guidelines for the court to objectively arrive at such an interpretation. In this paper, we establish the appropriateness of the formalism by applying it to resolve disputes about performance relief with the legal doctrines of impossibility and frustration of (...) purpose in common laws of contract. The formalism is based on modular argumentation, a recently proposed extension of assumption-based argumentation for modelling contract dispute resolution. (shrink)

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 argument-based and one story-based. In an argument-based approach to reasoning with evidence, the reasons for and against the occurrence of (...) an event, e.g., based on witness testimony, are central. In a story-based approach, evidence is evaluated and interpreted from the perspective of the factual stories as they may have occurred in a case, e.g., as they are defended by the prosecution. In this paper, we argue that both arguments and narratives are relevant and useful in the reasoning with and interpretation of evidence. Therefore, a hybrid approach is proposed and formally developed, doing justice to both the argument-based and the narrative-based perspective. By the formalization of the theory and the associated graphical representations, our proposal is the basis for the design of software developed as a tool to make sense of the evidence in complex cases. (shrink)

In this paper, it is argued that the most fruitful approach to developing normative models of argument quality is one that combines the argumentation scheme approach with Bayesian argumentation. Three sample argumentation schemes from the literature are discussed: the argument from sign, the argument from expert opinion, and the appeal to popular opinion. Limitations of the scheme-based treatment of these argument forms are identified and it is shown how a Bayesian perspective may help to overcome these. At the same time, (...) the contributions of the standard scheme-based approach are highlighted, and it is argued that only a combination of the insights of different traditions will yield a complete normative theory of argument quality. (shrink)

This paper argues the thesis that a particular style of reasoning, qualitative comparative reasoning (QCR), plays a role in at least three areas of legal reasoning that are central in AI and law research, namely legal theory construction, case-based reasoning in the form of case comparison, and legal proof. The paper gives an informal exposition of one particular way to deal with QCR, based on the author’s previous work on reason-based logic (RBL). Then it contains a substantially adapted formalisation of (...) RBL, to make RBL suitable for dealing with QCR. The paper concludes with a brief discussion of related work. (shrink)