Propagators and Solvers for the Algebra of Modular Systems

To appear in the proceedings of LPAR 21. Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Systems is a knowledge representation framework that provides a method for formally specifying such systems in purely semantic terms. Formally, an expression of the algebra defines a class of structures. Many expressive formalism used in practice solve the model expansion task, where a structure is given on the input and an expansion of this structure in the defined class of structures is searched (this practice overcomes the common undecidability problem for expressive logics). In this paper, we construct a solver for the model expansion task for a complex modular systems from an expression in the algebra and black-box propagators or solvers for the primitive modules. To this end, we define a general notion of propagators equipped with an explanation mechanism, an extension of the alge- bra to propagators, and a lazy conflict-driven learning algorithm. The result is a framework for seamlessly combining solving technology from different domains to produce a solver for a combined system.Comment: To appear in the proceedings of LPAR 2

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

Genre Archive: Bibliography

The Genre Archive, created by the English Language Institute at The University of Michigan, is a collection of around one thousand papers dealing in nearly all cases with some aspect or aspects of non-literary genres. The Archive was assembled by John Swales, his graduate students, and the visiting scholars who came to the institute, often supported by the H. Joan Morley Scholarship Fund, with the assistance of the staff of the ELI Library. The earliest papers are from the 1950s and the latest from 2007, but the majority are from the 1985 to 2005 period. Some are published papers; others dissertations or theses, or parts thereof; some are manuscripts, sometimes drafts of later publications and sometimes term papers or other coursework. Many of the last group have no date (n.d). This bibliography lists the papers contained in the Archive in alphabetical order by author, and then by year of publication. A few of the entries are highlighted in yellow, indicating that these papers themselves are currently missing. The Genre Archive exists solely in paper form and is housed at the ELI offices. Access to the Archive is available by appointment only. Researchers interested in visiting the Archive should email [email protected]. Unfortunately, we are not able to accept requests for scanned copies by mail or email or to otherwise circulate the contents of the Archive. (Introduction by John Swales)http://deepblue.lib.umich.edu/bitstream/2027.42/134394/1/ELI Genre Archive Bibliography 10-12-16.dochttp://deepblue.lib.umich.edu/bitstream/2027.42/134394/2/ELI Genre Archive Bibliography.pdf-1Description of ELI Genre Archive Bibliography 10-12-16.doc : Genre Archive: Bibliography (Word Version)Description of ELI Genre Archive Bibliography.pdf : Genre Archive: Bibliography (pdf version

Between Growth and Sustainability : Exploring the Construction of Sustainable Mobility in Swedish Transport Policy

Transport policies in Western Europe are increasingly framed in terms of sustainable mobility. This is a response to an urgent need to tackle adverse consequences of the transport system and implies changes in discourses related to transport. Exploring sustainable mobility is a fruitful way of studying discursive development in a policy field historically connected to priorities radically different from sustainability. More precisely, what reasons are provided in favour of sustainable mobility in contemporary transport policies? What underlying norms and assumptions does the notion of sustainable mobility rely upon? And what subjects are emphasised in the discourse?The thesis argues that these questions can be answered by studying the social construction of sustainable mobility in the transport policy field. The thesis contributes to the emerging field of critical transport studies by empiricallyinvestigating a concrete sustainable mobility discourse. This is done through an in-depth case study of a Swedish national sustainable transport policy, the Urban Environment Agreement. The case allows for a study of how power andconflicts permeate planning and policy for sustainability.The thesis advances a discourse-analytical perspective that is hitherto lacking in transport research and develops a novel framework building on critical discourse analysis and critical realism. This framework is subsequently deployed toempirically map discursive patterns of statements related to sustainable mobility, to determine how these patterns interrelate, and to interpret the broader implications of the findings.The central claim of the thesis is that sustainable mobility needs to be understood as a product of naturalised representations of growth. Arguably, societal norms and assumptions about forms of growth govern how sustainablemobility is conceived and acted upon through policies. This constructs the continuous increase of mobility as a naturally occurring phenomenon and excludes alternatives to high-mobility society.Two dominant constructions of sustainable mobility are identified in the discourse: ‘sustainable mobility as a necessity’, building on ideas of managing growth, and ‘sustainable mobility as progress’, connected to ideas ofpromoting growth. The author proposes that a third way of constructing sustainable mobility, ‘as restriction’, in the sense of limiting growth, is silenced in the discourse. Although there are differences among these constructions, the discourse contains several naturalised representations that characterise the discourse overall. While growth is constructed as inevitable, sustainability is constructed as an imperative. As a result, a transition to sustainable mobility is constructed as a salvation, justified by several logics of sustainable mobility. These logics discursively link contradictory notions of growth and sustainability. The thesis develops a wheel of growth metaphor to capture such key elements and linkages of the discourse.Finally, the discourse in focus is contrasted against central features of the more ‘traditional’ transport policy discourse. This shows that the sustainable mobility discourse of the Urban Environment Agreement policy partly challenges thetraditional focus on automobility. At the same time, the present discourse reproduces assumptions of ‘predict and provide’, travel time minimisation, and the emphasis on economic growth.The conclusions of the thesis contribute to the ongoing discussion among policy makers, academics, and social movements about how to respond to the societal challenge of a transition towards a more sustainable and just transportsystem

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

Proceedings of the Morpho Challenge 2010 Workshop

In natural language processing many practical tasks, such as speech recognition, information retrieval and machine translation depend on a large vocabulary and statistical language models. For morphologically rich languages, such as Finnish and Turkish, the construction of a vocabulary and language models that have a sufficient coverage is particularly difficult, because of the huge amount of different word forms. In Morpho Challenge 2010 unsupervised and semi-supervised algorithms are suggested to provide morpheme analyses for words in different languages and evaluated in various practical applications. As a research theme, unsupervised morphological analysis has received wide attention in conferences and scientific journals focused on computational linguistic and its applications. This is the proceedings of the Morpho Challenge 2010 Workshop that contains one introduction article with a description of the tasks, evaluation and results and six articles describing the participating unsupervised and supervised learning algorithms. The Morpho Challenge 2010 Workshop was held at Espoo, Finland in 2-3 September, 2010.reviewe