Representing religion in the European Union:a typology of actors

For the first time in the history of the acquis communautaire, the Lisbon Treaty institutionalises an ‘open, transparent and regular dialogue’ between European institutions and ‘churches, religions and communities of conviction’. Drawing on a comparative analysis of 120 religious and convictional actors which have been in contact with European institutions from 1957 until today, this article proposes four types of relations between religious/convictional representations and European institutions, namely, private–public, experimental, proactive and institutionalised. It argues that the Lisbon institutionalisation of religious dialogue enhances the public visibility of the European Commission and, most significantly, of the construction of the European political system.

An investigation into inductive parameter learning in complex hierarchical knowledge structures representing clinical expertise

This dissertation investigates the very important and current problem of modelling human expertise. This is an apparent issue in any computer system emulating human decision making. It is prominent in Clinical Decision Support Systems (CDSS) due to the complexity of the induction process and the vast number of parameters in most cases. Other issues such as human error and missing or incomplete data present further challenges. In this thesis, the Galatean Risk Screening Tool (GRiST) is used as an example of modelling clinical expertise and parameter elicitation. The tool is a mental health clinical record management system with a top layer of decision support capabilities. It is currently being deployed by several NHS mental health trusts across the UK. The aim of the research is to investigate the problem of parameter elicitation by inducing them from real clinical data rather than from the human experts who provided the decision model. The induced parameters provide an insight into both the data relationships and how experts make decisions themselves. The outcomes help further understand human decision making and, in particular, help GRiST provide more accurate emulations of risk judgements. Although the algorithms and methods presented in this dissertation are applied to GRiST, they can be adopted for other human knowledge engineering domains.

Institutional work taken literally: How logics shift as banking lawyers 'get the deal done'

The role of interest and agency in the creation and transformation of institutions, in particular the “paradox of embedded agency” (Seo & Creed, 2002) have long puzzled institutional scholars. Most recently, Lawrence and Suddaby (2006) coined the term “institutional work” to describe various strategies for creating, maintaining and disrupting institutions. This label, while useful to integrate existing research, highlights institutionalists’ lack of attention to work as actors’ everyday occupational tasks and activities. Thus, the objective of this study is to take institutional work literally and ask: How does practical work come to constitute institutional work? Drawing on concepts of “situated change” (Orlikowski, 1996) I supplement existing macro-level perspectives of change with a microscopic, practice-based alternative. I examine the everyday work of English and German banking lawyers in a global law firm. Located at the intersection of local laws, international financial markets, commercial logics and professional norms, banking lawyers’ work regularly bridges different normative settings. Hence, they must constructively negotiate contradictory meanings, practices and logics to develop shared routines that resonate with different normative frameworks and facilitate task accomplishment. Based on observation and interview data, the paper distils a process model of banking transac-tions that highlights the critical interfaces forcing English and German banking lawyers into cross-border sensemaking. It distinguishes two accounts of cross-border sensemaking: the “old story” in which contradictory practices and norms collide and the “new story” of a synthetic set of practices for collaboratively “editing” (Sahlin-Andersson, 1996) legal documentation. Data show how new practices gain shape and legitimacy over a series of dialectic contests unfolding at work and how, in turn, these contests shift institutional logics as lawyers ‘get the deal done’. These micro-mechanisms suggest that as practical and institutional work blend, everyday work-ing practices come to constitute a form of institutional agency that is situated, emergent, dialectic and, therefore, embedded.

Representing religion in the European Union:does God matter?

Religious actors are becoming part of the EU bureaucratic system, and their mobilisation in Brussels and Strasbourg in the last decade has increased dramatically. This book explores the mechanism and impact of religious representation by examining relations between religious practitioners and politicians in the European Union from the Second World War until today. This book seeks to answer the following questions: How do (trans)national religious groups enter into contact with European institutions? What are the rationale and the mechanisms of religious representation in the European Union? How are religious values transposed into political strategies? What impact has relations between religious practitioners, EU officials and politicians on the construction of the European Union? Examining religious representation at the state, transnational and institutional levels, this volume demonstrates that ‘faith’ is becoming an increasingly important element of the decision-making process. It includes chapters written by both academics and religious practitioners in dialogue with European institutions and will be of great interest to students and scholars of European politics, history, sociology of religion, law and international relations.

An Approach to Representing the Process of Information Business Modeling

The compact and visualized documenting of information business modeling is a major prerequisite for comprehending its basic concepts, as well as for its effective application and improvement. The documenting of this process is related to its modeling. Thus, the process of information business modeling can be represented by its own tools. Being based on this thesis, the authors suggest an approach to representing the process of information business modeling. A profile for its documenting has been developed for the purpose.

Professionalism in higher education:important not only for lawyers

This article considers how, in light of the changing legal profession and higher education, academia could address professionalism training. The authors put forward an argument that, if professionalism is to be understood as a set of skills, values and attitudes required for any lawyer, it is now a good time to consider how these could be taught and assessed in law and non-law degrees. The formation of professional values and attitudes is a long process that continues throughout a person’s life. The earlier students are exposed to professional values, attitudes and skills, the better the quality of service these future lawyers will provide to the public. Taking into account the Legal Education and Training Review (LETR) recommendations, the article suggests some practical ways as to how professionalism could be developed in higher education.

Representing of the Bulgarian Institutions: National Archives

Digitisation as an opportunity for Bulgarian National Archives to fulfill its functions as a heritage Institution and a government agency according to the new standards.

Representing "Recursive" Default Logic in Modal Logic

The "recursive" definition of Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the "recursive" fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning of the fixed-point is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original "recursive" definition of Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults.

On OBDD Transformations Representing Finite State Automata

We present OBDD transformation problem representing finite labeled transition systems corresponding to some congruence relation. Transformations are oriented toward obtaining the OBDD of a minimized transition system for this congruence relation.

Representing Reflective Logic in Modal Logic

The nonmonotonic logic called Reflective Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Reflective Logic with an initial set of axioms and defaults if and only if the meaning of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Reflective Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since all the laws of First Order Logic hold and since both the Barcan Formula and its converse hold.

Representing Default Logic in Modal Logic

The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan Formula and its converse hold.