Section S.1 continues the discussion in the main text of the definition of assumption and of the relationship between assumption and the concepts of (i) infinitely more likely than (Blume, Brandenburger, and Dekel (1991), henceforth BBD) and (ii) strong belief (Battigalli and Siniscalchi (2002), henceforth B-S). The focus is on the behavior of the assumption concept in the game, theoretic setti...

Admissibility has been studied for games of infinite duration with Boolean objectives. We extend here this study to games of infinite duration with quantitative objectives. First, we show that, under the assumption that optimal worst-case and cooperative strategies exist, admissible strategies are guaranteed to exist. Second, we give a characterization of admissible strategies using the notion ...

We consider the class of viscous-dispersive and higher-order conservation laws. We generalize the work of Kawashima and Shizuta, and others, by extending to higher-order the notions of symmetrizability, strict dissipativity, and genuine coupling. We prove, for symmetrizable systems, that strict dissipativity is equivalent to both (i) genuine coupling and (ii) the existence of a skew-symmetric c...

I. ISSUE In the child welfare context, protective agencies, the courts, and attorneys often turn to psychologists to evaluate parenting capacity. This issue brief aids attorneys representing parents in child welfare proceedings by: (1) describing the components and methodology of a typical parenting capacity evaluation; (2) describing the uses and limitations of a parenting capacity evaluation;...

We present a new solution concept for strategic games called comprehensive rationalizability that embodies a new version of “common cautious belief in rationality” based on a sound epistemic characterization in a universal type space. Differently from existing iterative strategy elimination procedures in the literature, it should rather be viewed as an iterative strategy demotion procedure as i...

This paper examines two mistakes regarding David Lewis’ Principal Principle that have appeared in the recent literature. These particular mistakes are worth looking at for several reasons: the thoughts that lead to these mistakes are natural ones, the principles that result from these mistakes are untenable, and these mistakes have led to significant misconceptions regarding the role of admissi...

Considering cost-optimal heuristic search, we introduce the notion of global admissibility of a heuristic, a property weaker than standard admissibility, yet sufficient for guaranteeing solution optimality within forward search. We describe a concrete approach for creating globally admissible heuristics for domain independent planning; it is based on exploiting information gradually gathered by...

Cut Admissibility is an important property for a calculus to have, and as such we wish to be able to automate the proof so that it can be fully formalised. The focus of this research is not to automate a given proof of Cut Admissibility, but rather to provide proof templates, which can then be adapted for other systems. However, before we can further expand on these aims, some background materi...

We propose a speciication language for the formalization of data types with partial or non-terminating operations as part of a rewrite-based logical framework for inductive theorem proving. The language requires constructors for designating data items and admits positive/negative conditional equations as axioms in speciications. The (total algebra) semantics for such speciications is based on s...

The Scientific Working Group for Firearm and Toolmarks (SWGGUN) developed the Admissibility Resource Kit (ARK) in 2005 to assist forensic firearm and tool mark examiners in the preparation for evidence admissibility hearings. When the SWGGUN was defunded in 2013, the AFTE Board of Directors and the past SWGGUN members decided to republish and maintain the ARK on the AFTE website. The ARK contai...