Proceedings of the Workshop on Change of Representation and Problem Reformulation

The proceedings of the third Workshop on Change of representation and Problem Reformulation is presented. In contrast to the first two workshops, this workshop was focused on analytic or knowledge-based approaches, as opposed to statistical or empirical approaches called 'constructive induction'. The organizing committee believes that there is a potential for combining analytic and inductive approaches at a future date. However, it became apparent at the previous two workshops that the communities pursuing these different approaches are currently interested in largely non-overlapping issues. The constructive induction community has been holding its own workshops, principally in conjunction with the machine learning conference. While this workshop is more focused on analytic approaches, the organizing committee has made an effort to include more application domains. We have greatly expanded from the origins in the machine learning community. Participants in this workshop come from the full spectrum of AI application domains including planning, qualitative physics, software engineering, knowledge representation, and machine learning

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

The Ecology of Paradox: Disturbance and Restoration in Land and Soul

This heuristic study explores environmental disturbance and ecological restoration in several North American settings in order to uncover epistemological, philosophical, aesthetic and ethical considerations revolving around those place-based processes. With fire as one of the central metaphors of this work, the initial place-based chapter examines Northern New Mexico\u27s Pajarito Plateau to explore the region\u27s fire ecology. The study then moves to the Pacific Northwest to draw restoration practice that attempt to restore wild salmon to urban Seattle habitat. The third place-based chapter focuses on the Midwest grass and farmlands in order to investigate the seeming contradictions between commodity and diversity in prairie landscapes. In the final chapter, the metaphorical implications of disturbance and restoration are explored in terms of individuals, communities and as a society. In explicating the philosophical and phenomenological foundations of disturbance and restoration, personal experiences are used in the study as examples to develop applied practice of paradox. It also examines and illuminates correspondences between ecological and eco-psychological cycles of disturbance and restoration within the context of paradox, which for the purpose of this work is defined as any place or context where seemingly contradictory elements coexist without canceling each other out. Drawing from place and literary sources, the study seeks to extrapolate a metaphorical correspondence in exterior and interior realms of paradox. The conclusion is that attention to processes of disturbance and restoration in nature can yield wisdom that informs our relationships with our ecological surroundings, our communities, and our individual selves. Furthermore, specific practices can emerge to help humans deal more healthfully and strategically with the complex, divisive issues of our places and times

The Ecology of Paradox: Disturbance and Restoration in Land and Soul

This heuristic study explores environmental disturbance and ecological restoration in several North American settings in order to uncover epistemological, philosophical, aesthetic and ethical considerations revolving around those place-based processes. With fire as one of the central metaphors of this work, the initial place-based chapter examines Northern New Mexico\u27s Pajarito Plateau to explore the region\u27s fire ecology. The study then moves to the Pacific Northwest to draw restoration practice that attempt to restore wild salmon to urban Seattle habitat. The third place-based chapter focuses on the Midwest grass and farmlands in order to investigate the seeming contradictions between commodity and diversity in prairie landscapes. In the final chapter, the metaphorical implications of disturbance and restoration are explored in terms of individuals, communities and as a society. In explicating the philosophical and phenomenological foundations of disturbance and restoration, personal experiences are used in the study as examples to develop applied practice of paradox. It also examines and illuminates correspondences between ecological and eco-psychological cycles of disturbance and restoration within the context of paradox, which for the purpose of this work is defined as any place or context where seemingly contradictory elements coexist without canceling each other out. Drawing from place and literary sources, the study seeks to extrapolate a metaphorical correspondence in exterior and interior realms of paradox. The conclusion is that attention to processes of disturbance and restoration in nature can yield wisdom that informs our relationships with our ecological surroundings, our communities, and our individual selves. Furthermore, specific practices can emerge to help humans deal more healthfully and strategically with the complex, divisive issues of our places and times

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

Unlocking Environmental Narratives

Understanding the role of humans in environmental change is one of the most pressing challenges of the 21st century. Environmental narratives – written texts with a focus on the environment – offer rich material capturing relationships between people and surroundings. We take advantage of two key opportunities for their computational analysis: massive growth in the availability of digitised contemporary and historical sources, and parallel advances in the computational analysis of natural language. We open by introducing interdisciplinary research questions related to the environment and amenable to analysis through written sources. The reader is then introduced to potential collections of narratives including newspapers, travel diaries, policy documents, scientific proposals and even fiction. We demonstrate the application of a range of approaches to analysing natural language computationally, introducing key ideas through worked examples, and providing access to the sources analysed and accompanying code. The second part of the book is centred around case studies, each applying computational analysis to some aspect of environmental narrative. Themes include the use of language to describe narratives about glaciers, urban gentrification, diversity and writing about nature and ways in which locations are conceptualised and described in nature writing. We close by reviewing the approaches taken, and presenting an interdisciplinary research agenda for future work. The book is designed to be of interest to newcomers to the field and experienced researchers, and set out in a way that it can be used as an accompanying text for graduate level courses in, for example, geography, environmental history or the digital humanities

Unlocking environmental narratives: towards understanding human environment interactions through computational text analysis

Understanding the role of humans in environmental change is one of the most pressing challenges of the 21st century. Environmental narratives – written texts with a focus on the environment – offer rich material capturing relationships between people and surroundings. We take advantage of two key opportunities for their computational analysis: massive growth in the availability of digitised contemporary and historical sources, and parallel advances in the computational analysis of natural language. We open by introducing interdisciplinary research questions related to the environment and amenable to analysis through written sources. The reader is then introduced to potential collections of narratives including newspapers, travel diaries, policy documents, scientific proposals and even fiction. We demonstrate the application of a range of approaches to analysing natural language computationally, introducing key ideas through worked examples, and providing access to the sources analysed and accompanying code. The second part of the book is centred around case studies, each applying computational analysis to some aspect of environmental narrative. Themes include the use of language to describe narratives about glaciers, urban gentrification, diversity and writing about nature and ways in which locations are conceptualised and described in nature writing. We close by reviewing the approaches taken, and presenting an interdisciplinary research agenda for future work. The book is designed to be of interest to newcomers to the field and experienced researchers, and set out in a way that it can be used as an accompanying text for graduate level courses in, for example, geography, environmental history or the digital humanities