bluuebunny/crossref_metadata_2025 huggingface dataset:
Molecular genetic approaches to understanding the comorbidity of psychiatric disorders
Authors: Gizer Ian R.
Published: October 2016

Epidemiologic studies demonstrating high rates of co-occurrence among psychiatric disorders at the population level have contributed to large literatures focused on identifying the causal mechanisms underlying the patterns of co-occurrence among these disorders. Such efforts have long represented a core focus of developmental psychopathologists and have more recently been supported by the Research Domain Criteria initiative developed by the NIMH, which provides a further framework for how the hypothesized mechanisms can be studied at different levels of analysis. The present overview focuses on molecular genetic approaches that are being used currently to study the etiology of psychiatric disorders, and how these approaches have been applied in efforts to understand the biological mechanisms that give rise to comorbid conditions. The present report begins with a review of molecular genetic approaches used to identify individual variants that confer risk for multiple disorders and the intervening biological mechanisms that contribute to their comorbidity. This is followed by a review of molecular genetic approaches that use genetic data in aggregate to examine these questions, and concludes with a discussion of how developmental psychopathologists are uniquely positioned to apply these methods in a way that will further our understanding of the causal factors that contribute to the development of comorbid conditions.
Prefrontal mechanisms of comorbidity from a transdiagnostic and ontogenic perspective
Authors: Macdonald Allison N. , Goines Katrina B. , Novacek Derek M. , Walker Elaine F.
Published: October 2016

Accumulating behavioral and genetic research suggests that most forms of psychopathology share common genetic and neural vulnerabilities and are manifestations of a relatively few core underlying processes. These findings support the view that comorbidity mostly arises, not from true co-occurrence of distinct disorders, but from the behavioral expression of shared vulnerability processes across the life span. The purpose of this review is to examine the role of the prefrontal cortex (PFC) in the shared vulnerability mechanisms underlying the clinical phenomena of comorbidity from a transdiagnostic and ontogenic perspective. In adopting this perspective, we suggest complex transactions between neurobiologically rooted vulnerabilities inherent in PFC circuitry and environmental factors (e.g., parenting, peers, stress, and substance use) across development converge on three key PFC-mediated processes: executive functioning, emotion regulation, and reward processing. We propose that individual differences and impairments in these PFC-mediated functions provide intermediate mechanisms for transdiagnostic symptoms and underlie behavioral tendencies that evoke and interact with environmental risk factors to further potentiate vulnerability.
Neural substrates of trait impulsivity, anhedonia, and irritability: Mechanisms of heterotypic comorbidity between externalizing disorders and unipolar depression
Authors: Zisner Aimee , Beauchaine Theodore P.
Published: October 2016

Trait impulsivity, which is often defined as a strong preference for immediate over delayed rewards and results in behaviors that are socially inappropriate, maladaptive, and short-sighted, is a predisposing vulnerability to all externalizing spectrum disorders. In contrast, anhedonia is characterized by chronically low motivation and reduced capacity to experience pleasure, and is common to depressive disorders. Although externalizing and depressive disorders have virtually nonoverlapping diagnostic criteria in the fifth edition of theDiagnostic and Statistical Manual of Mental Disorders, heterotypic comorbidity between them is common. Here, we review common neural substrates of trait impulsivity, anhedonia, and irritability, which include both low tonic mesolimbic dopamine activity and low phasic mesolimbic dopamine responding to incentives during reward anticipation and associative learning. We also consider how other neural networks, including bottom-up emotiongenerationsystems and top-down emotionregulationsystems, interact with mesolimbic dysfunction to result in alternative manifestations of psychiatric illness. Finally, we present a model that emphasizes a translational, transdiagnostic approach to understanding externalizing/depression comorbidity. This model should refine ways in which internalizing and externalizing disorders are studied, classified, and treated.
Neural predictors of alcohol use and psychopathology symptoms in adolescents
Authors: Brumback TY , Worley Matthew , Nguyen-Louie Tam T. , Squeglia Lindsay M. , Jacobus Joanna , Tapert Susan F.
Published: October 2016

Adolescence is a period marked by increases in risk taking, sensation seeking, and emotion dysregulation. Neurobiological models of adolescent development propose that lagging development in brain regions associated with affect and behavior control compared to regions associated with reward and emotion processing may underlie these behavioral manifestations. Cross-sectional studies have identified several functional brain networks that may contribute to risk for substance use and psychopathology in adolescents. Determining brain structure measures that prospectively predict substance use and psychopathology could refine our understanding of the mechanisms that contribute to these problems, and lead to improved prevention efforts. Participants (N = 265) were healthy substance-naïve adolescents (ages 12–14) who underwent magnetic resonance imaging and then were followed annually for up to 13 years. Cortical thickness and surface area measures for three prefrontal regions (dorsolateral prefrontal cortex, inferior frontal gyrus, and orbitofrontal cortex) and three cortical regions from identified functional networks (anterior cingulate cortex, insular cortex, and parietal cortex) were used to predict subsequent binge drinking, externalizing symptoms, and internalizing symptoms. Thinner dorsolateral prefrontal cortex and inferior frontal cortex in early adolescence predicted more binge drinking and externalizing symptoms, respectively, in late adolescence (ps < .05). Having a family history of alcohol use disorder predicted more subsequent binge drinking and externalizing symptoms. Thinner parietal cortex, but not family history, predicted more subsequent internalizing symptoms (p < .05). This study emphasizes the temporal association between maturation of the salience, inhibition, and executive control networks in early adolescence and late adolescent behavior outcomes. Our findings indicate that developmental variations in these brain regions predate behavioral outcomes of substance use and psychopathology, and may therefore serve as prospective biomarkers of vulnerability.
Autostability spectra for decidable structures
Authors: BAZHENOV NIKOLAY
Published: October 2016

We study autostability spectra relative to strong constructivizations (SC-autostability spectra). For a decidable structure$\mathcal{S}$, the SC-autostability spectrum of$\mathcal{S}$is the set of all Turing degrees capable of computing isomorphisms among arbitrary decidable copies of$\mathcal{S}$. The degree of SC-autostability for$\mathcal{S}$is the least degree in the spectrum (if such a degree exists).

We prove that for a computable successor ordinal α, every Turing degree c.e. in and above0(α)is the degree of SC-autostability for some decidable structure. We show that for an infinite computable ordinal β, every Turing degree c.e. in and above0(2β+1)is the degree of SC-autostability for some discrete linear order. We prove that the set of all PA-degrees is an SC-autostability spectrum. We also obtain similar results for autostability spectra relative ton-constructivizations.
Crossing Borders: Anti-Fascist Action (UK) and Transnational Anti-Fascist Militancy in the 1990s
Authors: COPSEY NIGEL
Published: October 2016

Far too little academic attention has been paid to more contemporary forms of transnational anti-fascist militancy. Yet this study supports the idea that this field of anti-fascist activity has remained important. This article examines transnational anti-fascist militancy in the 1990s through a case study of Britain's Anti-Fascist Action (AFA). In doing so it offers an in-depth account of AFA's attempts to establish an international militant anti-fascist network in conjunction with Germany's Autonome Antifa (M). The article identifies the common interests, challenges and limitations of this network. The final part of his article reflects on the cross-border importation of AFA to the Irish Republic.
Unholy Alliances? Nationalist Exiles, Minorities and Anti-Fascism in Interwar Europe
Authors: NÚÑEZ SEIXAS XOSÉ M.
Published: October 2016

Ethno-nationalist exiles in the interwar period were a unique species. While some of them relied on their own diasporic networks and waited for a chance, others established agitation platforms and regarded themselves as an alternative International of the ‘oppressed peoples’. Most of these alliances ended in failure, as it proved extremely difficult to reconcile the demands stemming from divergent national claims, such as those of autonomist factions versus irredentist or pro-independence groups, or those of national minorities seeking reintegration into their motherland as opposed to groups seeking independence. This article explores the relationship between minority nationalist exiles and anti-fascism by focusing on three issues: the emergence and evolution of ‘international alliances’ of minority activists in interwar Europe; contacts and ideological exchanges between ethno-nationalist exiles and liberal and anti-fascist segments of European public opinion and, finally, the emergence of a transnational anti-fascist nationality theory.
The Unifying Element? European Socialism and Anti-Fascism, 1939–1945
Authors: SPÄTH JENS
Published: October 2016

Far too often studies in contemporary history have concentrated on national stories. By contrast, this article analyses wartime discourses about and practices against fascism in France, Germany and Italy in a comparative and – as far as possible – transnational perspective. By looking at individual biographies some general aspects of socialist anti-fascism, as well as similarities and differences within anti-fascism, shall be identified and start to fill the gap which Jacques Droz left in 1985 when he ended hisHistoire de l'antifascisme en Europewith the outbreak of the Second World War. To visualise the transnational dimension of socialist anti-fascism both in discourse and practice different categories shall be considered. These include historical analyses and projects for the post-war order in letters, newspapers, periodicals, pamphlets and books, acts of solidarity like mutual aid networks set up by groups and institutions and forms of collaboration in resistance movements.
Shattered Dreams of Anti-Fascist Unity: German Speaking Exiles in Mexico, Argentina and Bolivia, 1937–1945
Authors: ACLE-KREYSING ANDREA
Published: October 2016

Between the late 1930s and early 1940s Mexico City and Buenos Aires became the centres of activity for the two most relevant anti-fascist organisations of German-speaking exiles in Latin America: the communist-inspired Free German Movement (Bewegung Freies Deutschland;BFD) and the social-democratic oriented The Other Germany (Das Andere Deutschland;DAD). Both organisations envisaged the creation of an anti-fascist front within Latin America, one which would allow for greater unity of action, and thus carried out extensive congresses at Mexico City and Montevideo in 1943. Due to crucial ideological and tactical differences, this dream of anti-fascist unity led to a power struggle between BFD and DAD, well illustrated in the impact it had on Bolivia. This article seeks a new perspective on how, thanks to the establishment of transnational networks, a continental debate on the meaning and methods of anti-fascism then took place, while also shedding light on the influence the Latin American context had in shaping the exiles’ plans for a new Germany.
The lost song of Germanic epic
Authors: HAINES JOHN
Published: October 2016

Despite the lack of notated evidence, something can be recovered of the lost song of medieval epic, a foundational musical tradition in late Antiquity and the Middle Ages. Like the chant of the Christian Church, epic has come down to us in a distinctively Carolingian framing. Given the close relationship between liturgical recitation and epic song throughout late Antiquity and the Middle Ages, as well as Charlemagne's own active role in the codification of both Frankish epic and Roman chant, it is possible, as I suggest in conclusion, that these two repertoires resembled each other in significant ways.
Stability and change in the composition of a ‘Plague Mass’ in the wake of the Black Death
Authors: MACKLIN CHRISTOPHER
Published: October 2016

In the mid-fourteenth century the Black Death inflicted one of the most devastating losses of life in human history. This was met by exercises of collective piety such as the singing of psalms and the celebration of special votive masses, which encouraged social cohesion in the face of the tragedy. This article presents results from an analysis of fifty-seven manuscripts containing copies of the monophonic ‘Recordare domine’ Mass, reportedly created at the behest of Clement VI at Avignon during his Black Death-spanning pontificate. Of these, seven manuscripts contain fully notated renditions of each of the chants for the Mass Propers, enabling us to decouple questions concerning the organisation and transmission of the melodies from those of the texts set to them. When the different versions of the Mass are compared, two major findings emerge. First, differential patterns of consistency within the texts and melodies suggest that the texts of the ‘Recordare domine’ Mass may have circulated separately from the melodies set to them, with the choice of music left to the discretion of the local performing clergy. Second, the patterns of variation between different versions of the Proper texts and melodies allow us to see how a variety of composition strategies (including mnemonic processes) were used to create new music for the mass. The ‘Recordare domine’ Mass thus sheds light not only on the performance of organised sacred music at a pivotal point in European history, but also more generally on the processes of chant composition as a tool for use in response to social stress.
A medieval patchwork song: poetry, prayer and music in a thirteenth-century conductus
Authors: CALDWELL MARY CHANNEN
Published: October 2016

Eight times a day, the prayerDeus in adiutorium meum intendesounded from the lips of the faithful as the standard introduction to the Office Hours. Infiltrating daily life through the liturgy and popular interjections, the psalm verseDeus in adiutoriumserved a devotional function marked by versatility and popularity. Yet, despite its omnipresence, as well as its inherently vocalic identity, the verse was only rarely troped musically or poetically. A collection of thirteenth-century monophonic and polyphonic tropes of the verse circulating in France in motet collections and festive offices represents one of the few moments of heightened musical interest in the prayer. This article draws attention, for the first time, to the musical and textual connection between these tropes andPater creator omnium, a thirteenth-century refrain song. This monophonic song from France also belongs firmly to the medieval cento genre, with both its musical and textual construction based on the piecing together of borrowed text and music – includingDeus in adiutorium. This article argues thatPater creator omniumstands at the intersection of two important yet understudied histories: the musical and textual troping ofDeus in adiutoriumand the medieval cento. Analysis of this song ultimately illustrates the creative processes behind the making of a pre-modern song.
Liturgical chant bibliography 25
Authors: PAUCKER GÜNTHER MICHAEL
Published: October 2016

The Liturgical chant bibliography 25 retains the traditional format: (1) Editions and facsimile editions, (2) Books and reprints, (3) Congress reports, (4) Chant journals, (5) Colections of essays and dictionaries, (6) Articles in periodicals and Festschriften. Additions to the bibliographies of previous years (mostly reviews) are listed directly after this introduction.
The Open Museum and its Enemies: An Essay in the Philosophy of Museums
Authors: Taliaferro Charles
Published: October 2016

Borrowing from the title and some of the content of Karl Popper's The Open Society and its Enemies (1945), it is argued that museums have great value as sites for what may be called a philosophical culture. A philosophical culture is one in which members or citizens engage in (ideally) fair-minded debate and shared reflection, presenting and evaluating reasons for different positions particularly as these have relevance for matters of governance. In a philosophical culture, persuasion is almost always a matter of seeking to provide reasonable grounds for adopting some position without resorting to violence or physical force (though, of course, force may be necessary to constrain those who themselves resort to violence).

A philosophical culture is, in turn, an important foundation for a democratic culture and republic. A philosophy of museums emerges, a model we shall call the Philosophical Culture Museum Model. This concept is stipulative and ideal in the sense that it presents a paradigm of a museum with great virtue and promise. It must be confessed, however, that, historically, this is an emerging concept of the role of museums and one not evident in many of the museums in the early modern era or today. Reasons are offered as to why the time may be right to recognize the philosophy of museums as a particular sub-field in the overall practice of philosophy.
The Museum of Big Ideas
Authors: Gaskell Ivan
Published: October 2016

Although museums of all kinds continue to proliferate, they have lost the capacity to generate big ideas that characterize epistemic shifts, such as evolution, the labour theory of value, or relativity. They have become mere echo chambers for ideas proposed elsewhere. How might museums regain their capacity to generate big ideas? The development of a Tangible Turn in scholarly thinking is leading to a reinvigoration of knowledge claims derived from material things. Museums are well placed to participate in such a reinvigoration, and in some instances – notably in the natural sciences – already are. Yet to do so they must overcome the taxonomic and systematic divisions that in the nineteenth century stimulated but now inhibit creative thinking. How can disciplinary ossification associated with collection definition be overcome? Two possible models are artists' interventions and arrangement according to philosophical principles, yet neither is sufficient. Curatorial scholars should acknowledge the physical and cultural instability of tangible things, and work with these properties to combine things in revelatory ways, eschewing stable categories. This can be accomplished most effectively in museums associated with universities through collaboration among the scholarly staffs of university collections and with university faculty.
Context and Experiencing the Sacred
Authors: Brown David
Published: October 2016

This essay considers how far the original sacred context of a painting or other artefact should be acknowledged in modern galleries and museums. It is argued that such institutions should be concerned with rather more than the fostering of aesthetic experience. An educational role is also important, and this entails that, although nothing should be done to encourage religion, contextualizing painting and artefact will also open up the possibility for concomitant religious experience. Although various formal distinctions are noted, the argument is conducted by means of a large number of specific examples.
Museums, Ethics and Truth: Why Museums' Collecting Policies Must Face up to the Problem of Testimony
Authors: Tonner Philip
Published: October 2016

This paper argues that any museum's collecting policy must face up to the problem of vulnerability. Taking as a starting point an item in the collections of the United States Holocaust Memorial Museum, I argue that the basic responsibility of museums to collect ‘things’, and to communicate information about them in a truthful way brings their collecting practice into the epistemological domain of testimony and into the normative domain of ethics. Museums are public spaces of memory, testimony, representation and interpretation that at once enable humanity to hold to account those who transgress while at the same time holding to account those who witness these transgressions. By virtue of this, museums can be considered spaces of ethics wherein testimonial and hermeneutic injustice can be confronted and challenged.
The Ethics of Trusteeship and the Biography of Objects
Authors: Pantazatos Andreas
Published: October 2016

Museum codes of ethics stress the importance of preservation, knowledge and access, but they remain silent on the justificatory framework of the duty of care museums have to the objects in their collections and on museums' obligations towards their public. In this essay I propose a triangular framework for understanding the duty of care museums have, according to which it is shaped by the need to negotiate an object's transit from past to future in such a way as to secure that object's future significance. The account provided of transit to the future is underwritten by a model of trust as entrusting. Hence, museums' duty to care for the objects in their collections is found to be grounded on the demands of the trust relationship, complemented by the respect that is necessary for effective negotiation of the transit from past to future.
What Do we See in Museums?
Authors: Oddie Graham
Published: October 2016

I address two related questions. First: what value is there in visiting a museum and becoming acquainted with the objects on display? For art museums the answer seems obvious: we go to experience valuable works of art, and experiencing valuable works of art is itself valuable. In this paper I focus on non-art museums, and while these may house aesthetically valuable objects, that is not their primary purpose, and at least some of the objects they house might not be particularly aesthetically valuable at all. Second: to what ontologicaltypeorcategorydo museum objects belong? Whattypeof item should be featured on an inventory of a museum collection? I distinguish betweentypicalobjects andspecialobjects. While these are different types of object, both, I argue, areabstracta, notconcreta. The answer to the second question, concerning the ontological category of special objects, throws new light on various philosophical questions about museums and their collections, including the question about the value of museum experiences. But it also throws light on important questions concerning the preservation and restoration of museum objects.
The Participatory Art Museum: Approached from a Philosophical Perspective
Authors: Hegenbart Sarah
Published: October 2016

This chapter introduces the participatory art museum and discusses some of the challenges it raises for philosophical aesthetics. Although participatory art is now an essential part of museological programming, an aesthetic account of participatory art is still missing. The chapter argues that much could be gained from exploring participatory art, as it raises fundamental challenges to our understanding of issues in aesthetics, such as the nature of aesthetic experience, the value of art, and the role of the spectator. Moreover, participatory art fundamentally questions the status of the museum as an exhibition space for contemporary art practices.
Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
Authors: FRANK MICHAEL , CODISH MICHAEL
Published: October 2016

This paper presents thepl-nautylibrary, a Prolog interface to thenautygraph-automorphism tool. Adding the capabilities ofnautyto Prolog combines the strength of the “generate and prune” approach that is commonly used in logic programming and constraint solving, with the ability to reduce symmetries while reasoning over graph objects. Moreover, it enables the integration ofnautyin existing tool-chains, such as SAT-solvers or finite domain constraints compilers which exist for Prolog. The implementation consists of two components:pl-nauty, an interface connectingnauty's C library with Prolog, andpl-gtools, a Prolog framework integrating the software component ofnauty, calledgtools, with Prolog. The complete tool is available as a SWI-Prolog module. We provide a series of usage examples including two that apply to generate Ramsey graphs.
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
Authors: SANTOS JÕAO , ROCHA RICARDO
Published: October 2016

Nowadays, clusters of multicores are becoming the norm and, although, many or-parallel Prolog systems have been developed in the past, to the best of our knowledge, none of them was specially designed to explore the combination of shared and distributed memory architectures. In recent work, we have proposed a novel computational model specially designed for such combination which introduces a layered model with two scheduling levels, one for workers sharing memory resources, which we named a team of workers, and another for teams of workers (not sharing memory resources). In this work, we present a first implementation of such model and for that we revive and extend the YapOr system to exploit or-parallelism between teams of workers. We also propose a new set of built-in predicates that constitute the syntax to interact with an or-parallel engine in our platform. Experimental results show that our implementation is able to increase speedups as we increase the number of workers per team, thus taking advantage of the maximum number of cores in a machine, and to increase speedups as we increase the number of teams, thus taking advantage of adding more computer nodes to a cluster.
Stable models for infinitary formulas with extensional atoms
Authors: HARRISON AMELIA , LIFSCHITZ VLADIMIR
Published: October 2016

The definition of stable models for propositional formulas with infinite conjunctions and disjunctions can be used to describe the semantics of answer set programming languages. In this note, we enhance that definition by introducing a distinction between intensional and extensional atoms. The symmetric splitting theorem for first-order formulas is then extended to infinitary formulas and used to reason about infinitary definitions.
Efficient algebraic effect handlers for Prolog
Authors: SALEH AMR HANY , SCHRIJVERS TOM
Published: October 2016

Recent work has provideddelimited controlfor Prolog to dynamically manipulate the program control-flow, and to implement a wide range of control-flow and dataflow effects on top of. Unfortunately, delimited control is a rather primitive language feature that is not easy to use.

As a remedy, this work introducesalgebraic effect handlersfor Prolog, as a high-level and structured way of defining new side-effects in a modular fashion. We illustrate the expressive power of the feature and provide an implementation by means of elaboration into the delimited control primitives.

The latter add a non-negligible performance overhead when used extensively. To address this issue, we present an optimised compilation approach that combines partial evaluation with dedicated rewrite rules. The rewrite rules are driven by a lightweight effect inference that analyses what effect operations may be called by a goal. We illustrate the effectiveness of this approach on a range of benchmarks.
Stable-unstable semantics: Beyond NP with normal logic programs
Authors: BOGAERTS BART , JANHUNEN TOMI , TASHARROFI SHAHAB
Published: October 2016

Standard answer set programming (ASP) targets at solving search problems from the first level of the polynomial time hierarchy (PH). Tackling search problems beyond NP using ASP is less straightforward. The class of disjunctive logic programs offers the most prominent way of reaching the second level of the PH, but encoding respective hard problems as disjunctive programs typically requires sophisticated techniques such as saturation or meta-interpretation. The application of such techniques easily leads to encodings that are inaccessible to non-experts. Furthermore, while disjunctive ASP solvers often rely on calls to a (co-)NP oracle, it may be difficult to detect from the input program where the oracle is being accessed. In other formalisms, such as Quantified Boolean Formulas (QBFs), the interface to the underlying oracle is more transparent as it is explicitly recorded in the quantifier prefix of a formula. On the other hand, ASP has advantages over QBFs from the modeling perspective. The rich high-level languages such as ASP-Core-2 offer a wide variety of primitives that enable concise and natural encodings of search problems. In this paper, we present a novel logic programming–based modeling paradigm that combines the best features of ASP and QBFs. We develop so-calledcombined logic programsin which oracles are directly cast as (normal) logic programs themselves. Recursive incarnations of this construction enable logic programming on arbitrarily high levels of the PH. We develop a proof-of-concept implementation for our new paradigm.
Semantic code browsing
Authors: GARCÍA-CONTRERAS ISABEL , MORALES JOSÉ F. , HERMENEGILDO MANUEL V.
Published: October 2016

Programmers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly difficult task. Most code search engines are based on syntactic techniques such as signature matching or keyword extraction. However, these techniques are inaccurate (because they basically rely on documentation) and at the same time do not offer very expressive code query languages. We propose a novel approach that focuses on querying for semantic characteristics of code obtained automatically from the code itself. Program units are pre-processed using static analysis techniques, based on abstract interpretation, obtaining safe semantic approximations. A novel, assertion-based code query language is used to express desired semantic characteristics of the code as partial specifications. Relevant code is found by comparing such partial specifications with the inferred semantics for program elements. Our approach is fully automatic and does not rely on user annotations or documentation. It is more powerful and flexible than signature matching because it is parametric on the abstract domain and properties, and does not require type definitions. Also, it reasons with relations between properties, such as implication and abstraction, rather than just equality. It is also more resilient to syntactic code differences. We describe the approach and report on a prototype implementation within the Ciao system.
First-order modular logic programs and their conservative extensions
Authors: HARRISON AMELIA , LIERLER YULIYA
Published: October 2016

Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, which can capture the meaning of many answer set programs. We also introduce conservative extensions of such programs. This concept helps to identify strong relationships between modular programs as well as between traditional programs. We show how the notion of a conservative extension can be used to justify the common projection rewriting.
Justifications for programs with disjunctive and causal-choice rules
Authors: CABALAR PEDRO , FANDINNO JORGE
Published: October 2016

In this paper, we study an extension of the stable model semantics for disjunctive logic programs where each true atom in a model is associated with an algebraic expression (in terms of rule labels) that represents its justifications. As in our previous work for non-disjunctive programs, these justifications are obtained in a purely semantic way, by algebraic operations (product, addition and application) on a lattice of causal values. Our new definition extends the concept ofcausal stable modelto disjunctive logic programs and satisfies that each (standard) stable model corresponds to a disjoint class of causal stable models sharing the same truth assignments, but possibly varying the obtained explanations. We provide a pair of illustrative examples showing the behaviour of the new semantics and discuss the need of introducing a new type of rule, which we callcausal-choice. This type of rule intuitively captures the idea of “Amay causeB” and, when causal information is disregarded, amounts to a usual choice rule under the standard stable model semantics.
Query answering in resource-based answer set semantics
Authors: COSTANTINI STEFANIA , FORMISANO ANDREA
Published: October 2016

In recent work we defined resource-based answer set semantics, which is an extension to answer set semantics stemming from the study of its relationship with linear logic. In fact, the name of the new semantics comes from the fact that in the linear-logic formulation every literal (including negative ones) were considered as a resource. In this paper, we propose a query-answering procedure reminiscent of Prolog for answer set programs under this extended semantics as an extension of XSB-resolution for logic programs with negation.1We prove formal properties of the proposed procedure. Under consideration for acceptance in TPLP.
Tabling with Sound Answer Subsumption
Authors: VANDENBROUCKE ALEXANDER , PIRÓG MACIEJ , DESOUTER BENOIT , SCHRIJVERS TOM
Published: October 2016

Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we are not interested in the set of all answers to a goal, but only require an aggregation of those answers. Several works have studied efficient techniques, such as lattice-based answer subsumption and mode-directed tabling, to do so for various forms of aggregation.

While much attention has been paid to expressivity and efficient implementation of the different approaches, soundness has not been considered. This paper shows that the different implementations indeed fail to produce least fixed points for some programs. As a remedy, we provide a formal framework that generalises the existing approaches and we establish a soundness criterion that explains for which programs the approach is sound.
Introduction to the 32nd International Conference on Logic Programming Special Issue
Authors: CARRO MANUEL , KING ANDY
Published: October 2016

The main track of the Thirty Second International Conference on Logic Programming (ICLP) took place in New York City, USA, from the 18th to the 21st October 2016. It seems fitting to hold a significant, power of two, ICLP in New York because the city has a long and distinguished association with logic programming: XSB was developed at Stony Brook, as was HiLog before that, and SB-Prolog before that. Moreover, Picat was developed at the City University of New York, as was B-Prolog, and other logic programming-based systems, such as Ergo. New York has also been (and is) the cradle of several start-ups based on logic programming.
On local domain symmetry for model expansion
Authors: DEVRIENDT JO , BOGAERTS BART , BRUYNOOGHE MAURICE , DENECKER MARC
Published: October 2016

Symmetry in combinatorial problems is an extensively studied topic. We continue this research in the context of model expansion problems, with the aim of automating the workflow of detecting and breaking symmetry. We focus onlocal domain symmetry, which is induced by permutations of domain elements, and which can be detected on a first-order level. As such, our work is a continuation of the symmetry exploitation techniques of model generation systems, while it differs from more recent symmetry breaking techniques in answer set programming which detect symmetry on ground programs. Our main contributions are sufficient conditions for symmetry of model expansion problems, the identification oflocal domain interchangeability, which can often be broken completely, and efficient symmetry detection algorithms for both local domain interchangeability as well as local domain symmetry in general. Our approach is implemented in the model expansion system IDP, and we present experimental results showcasing the strong and weak points of our approach compared tosbass, a symmetry breaking technique for answer set programming.
The challenge of training supervisors to use direct assessments of clinical competence in CBT consistently: a systematic review and exploratory training study
Authors: Loades Maria E. , Armstrong Peter
Published: October 2016

Evaluating and enhancing supervisee competence is a key function of supervision and can be aided by the use of direct assessments of clinical competence, e.g. the Cognitive Therapy Scale – Revised (CTS-R). We aimed to review the literature regarding inter-rater reliability and training on the CTS and CTS-R to present exploratory data on training raters to use this measure. We employed a systematic review. An exploratory study evaluated the outcomes of a CTS-R supervisor training workshop (n = 34), including self-reported familiarity with and confidence in using the tool, and inter-rater consistency on three CTS-R subscales, pre- and post-training. CTS and CTS-R inter-rater reliability was variable, with evidence of rater training enhancing reliability, although the form, duration and frequency of such training is unclear. The exploratory study found that supervisors rated themselves as more familiar with and confident in using the CTS-R at the end of training compared to at the beginning. However, inter-rater reliability was poor at the beginning and end of the training. Rating competence requires supervisors to make qualitative judgements, which is inherently variable. Training raters has been shown to improve rater reliability, although this was not demonstrated in the exploratory study. Practice implications and future research priorities are identified.
Supporting the supervisor: organizing professional development to enhance practice
Authors: Corrie Sarah , Lane David A.
Published: October 2016

Although clinical supervision is deemed central to the delivery and dissemination of high quality CBT, knowledge of what constitutes ‘optimal’ CBT supervision remains limited. In consequence, understanding of how best to support the development of supervisors is also restricted. This article considers the professional development needs of CBT supervisors, identifying the current context in which CBT supervision is mandated and delivered and seeking to clarify the domains of knowledge, competence and skill that must be mastered. We propose ways in which CBT supervisors might construct their professional development activities and raise questions relating to the need for a more organizationally embedded approach to the development of CBT supervisors in the current professional climate.
Supporting our supervisors: sending out an SOS
Authors: Milne Derek L. , Reiser Robert
Published: October 2016

In this Introduction to the Special Issue ofthe Cognitive Behaviour Therapiston clinical supervision we start by highlighting the unmet and overdue need for coherent organizational systems to support, guide and develop clinical supervisors. We identify a seven-step, cyclical model that describes how such a system might work, with particular reference to CBT supervision. These steps start with conceptualization (e.g. definition of CBT supervision) and complete the problem-solving cycle with evaluation (e.g. corrective feedback). We provide an overview of typical research and development activity for each part of this model to illustrate how a sound supervision infrastructure might best be developed. The SOS model provides a systematic approach to indicate the organizational conditions under which CBT supervision might flourish.
Technology for evidence-based cognitive behavioural supervision: new applications and research to improve organizational support
Authors: Rousmaniere Tony
Published: October 2016

There has recently been an increasing call for new research and development in cognitive behavioural supervision, particularly in the area of evidence-based clinical supervision. New developments in supervision technology offer the potential to answer this call by providing greater objective measurement and corrective feedback in supervision. In this article, two new technologies that hold particular promise in this area are described: software for routine outcome measurement and videoconference for internet-based live one-way-mirror supervision. Notable challenges involved in supervision technology are discussed, and an example of technology being integrated into a graduate clinical training programme is described.
Supporting our supervisors: a Summary and Discussion of the Special Issue on CBT supervision
Authors: Newman Cory F. , Reiser Robert P. , Milne Derek L.
Published: October 2016

Contributors to this Special Issue of the Cognitive Behaviour Therapist have considered the kind of infrastructure that should be in place to best support and guide CBT supervisors, providing practical advice and extensive procedural guidance. Here we briefly summarize and discuss in turn the 10 papers within this Special Issue, including suggestions for further enhancements. The first paper, by Milne and Reiser, conceptualized this infrastructure in terms of an ‘SOS’ (supporting our supervisors) framework, from identifying supervision competencies, to training, evaluation and feedback strategies. The next nine papers illustrate this framework with specific technical innovations, educational enhancements and procedural issues, or through comprehensive quality improvement systems, all designed to support supervisors. These papers suggest an assortment of workable infrastructure developments: two large-scale and comprehensive initiatives, some promising proposals and technologies, and a series of local, exploratory work. Collectively, they provide us with models for further developing evidence-based cognitive-behavioural supervision, and offer practical suggestions for giving supervisors the tools and support to maximize their supervisees’ learning, and to improve the associated client outcomes. Much research and development work remains to be done, and successful implementation will require institutional and political support, as well as cross-cultural adaptations. We conclude with an optimistic assessment of progress toward addressing some of the infrastructure improvements required to adequately support supervisors.
Editorial
Authors: Myles Pamela
Published: October 2016

Welcome to this Special Issue of tCBT. Our focus in this special edition of the journal is on supervision. Few would argue the vital role of supervision during CBT training and beyond to ensure treatment fidelity to evidence-based protocols. I would like to take this opportunity to thank Professors Derek Milne and Robert Reiser for kindly acting as guest editors. In addition, we are grateful for their fine contributions to the supervision literature in this particular edition of the journal. Thanks too to Professor Cory Newman from the tCBT editorial board for contributing to the overarching paper provided by Professors Milne and Reiser. Thanks also to all the authors for their fine contributions and to our reviewers who gave so generously of their time to comment on the submitted manuscripts. Our intention is to publish one Special Issue a year, next year we look forward to a special edition with a focus on ‘complexity’ with guest editors Dr Claire Lomax and Dr Stephen Barton from Newcastle University.
Adaptation, Validation, Reliability and Factorial Equivalence of the Rosenberg Self-Esteem Scale in Colombian and Spanish Population
Authors: Gómez-Lugo Mayra , Espada José P. , Morales Alexandra , Marchal-Bertrand Laurent , Soler Franklin , Vallejo-Medina Pablo
Published: October 2016

The Rosenberg Self-Esteem Scale is the most widely used instrument to assess self-esteem. In light of the absence of adaptations in Colombia, this study seeks to validate and adapt this scale in the Colombian population, and perform factorial equivalence with the Spanish version. A total of 1,139 seniors (633 Colombians and 506 Spaniards) were evaluated; the individuals answered the Rosenberg Self-Esteem Scale and sexual self-esteem scale. The average score of the items was similar to the questionnaire’s theoretical average, and standard deviations were close to one. The psychometric properties of the items are generally adequate with alphas of .83 and .86 and significant (CI = .95) and correlations with the sexual self-esteem scale ranging from .31 and .41. Factorial equivalence was confirmed by means of a structural equation model (CFI = .912 and RMSEA = .079), thus showing a strong level of invariance.
Shaar Receives 2016 William Gilbert Award
Authors:   AGU
Published: October 2016

Ron Shaar will receive the 2016 William Gilbert Award at the 2016 American Geophysical Union Fall Meeting, to be held 12–16 December in San Francisco, Calif. The award recognizes outstanding and unselfish work in magnetism of Earth materials and of the Earth and planets.
Anderegg Receives 2016 Global Environmental Change Early Career Award
Authors:   AGU
Published: October 2016

William Anderegg is the first recipient of the Global Environmental Change Early Career Award. He will receive the award at the 2016 American Geophysical Union Fall Meeting, to be held 12–16 December in San Francisco, Calif. The award recognizes an early-career scientist "for outstanding contributions in research, educational, or societal impacts on the area of global environmental change, especially through interdisciplinary approach."
Divergent synthesis of indoles, oxindoles, isocoumarins and isoquinolinones by general Pd-catalyzed retro-aldol/α-arylation
Authors: Zhang Song-Lin , Yu Ze-Long
Published: October 2016

Divergent synthesis of indoles, oxindoles, isocoumarins and isoquinolinones is achieved by a general Pd-catalyzed retro-aldol reaction of β-hydroxy ketones/esters with aryl halides bearing an ortho-nitro, -ester or -nitrile group. DFT insights have been presented to rationalize the experimental observations and the chemoselectivity.