Published data from pyrrhotine-vapour equilibrium experiments are used to make inferences concerning the high-temperature thermodynamic mixing properties of pyrrhotine. Darken's quadratic formalism provides the justification for plotting activity of sulphur data against ( l X ) 2, where X is used in Fel_x S to express the composition of non-stoichiometric pyrrhotine. Such plots show that the th...

Safety Cases are complex bodies of interdependent evolving information demonstrating safety of some system. The body of material contained therein presents the justification that appropriate safety requirements are met for a system or service including documenting the safety process itself. Safety Case Reports are projections from Safety Cases at a point in time and are usually key deliverables...

This paper describes a model of the complementarity of rules and precedents in the classiication task. Under this model, precedents assist rule-based reasoning by operationalizing abstract rule antecedents. Conversely , rules assist case-based reasoning through case elaboration, the process of inferring case facts in order to increase the similarity between cases, and term reformulation, the pr...

Since the 1980s, computer science, especially artificial intelligence (AI) has developed formal models of many aspects of argumentation that since the work of Toulmin and Perelman were thought of as belonging to informal logic. Doug Walton is one of the argumentation theorists who has recognised the relevance of this body of work for argumentation theory. One of the concepts on which recent wor...

This paper describes a model of the complementarity of rules and precedents in the classification task. Under this model, precedents assist rule-based reasoning by operationalizing abstract rule antecedents. Conversely, rules assist case-based reasoning through case elaboration, the process of inferring case facts in order to increase the similarity between cases, and term reformulation, the pr...