Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes (...) Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

This article examines whether and how the participation of women in the firm’s board of directors and senior management enhances financial performance. We use the Fama and French (1992, 1993) valuation framework to take the level of risk into consideration, when comparing firm performances, whereas previous studies used either raw stock returns or accounting ratios. Our results indicate that firms operating in complex environments do generate positive and significant abnormal returns when they have a high proportion of women officers. Although (...) the participation of women as directors does not seem to make a difference in this regard, firms with a high proportion of women in both their management and governance systems generate enough value to keep up with normal stock-market returns. These findings tend to support the policies currently being discussed or implemented in some countries and organizations to foster the advancement of women in business. (shrink)

Due to the COVID-19 pandemic having radically changed the way we now work, many recent studies have focused on employees’ experiences and well-being, their performance and job satisfaction, and ways to ensure the best support for them when working from home. However, less attention has been given to managers’ experiences in adapting to the new role of distance management and supporting them with this transition. This study aims to explore how managers experienced distance management, and the perceived organizational support, and (...) the effect of organizational support has on their JSA during the first year of the COVID-19 pandemic. Data from 1,016 line, middle and top managers in Danish workplaces were collected in March 2021, 1 year after the start of the COVID-19 pandemic. We applied descriptive statistics, ANOVA, and partial least square structural equation modeling to investigate the relation of perceived organizational support and the JSA of distance managers. Control variables were the respondents’ demographic characteristics, specifically gender, age, and management level. The study offers insights into the managerial experiences of becoming a distance manager, helps to understand the relationship between POS and managers’ JSA, and shows a positive relationship similarly for the managers as for employees. The study shows that most managers found their work as distance managers more demanding and worked more hours. The data demonstrate that managers received the most support from their own employees and manager peers, whereas administrative support was largely lacking. The data also show that the majority of the managers prefer to manage from the office, but similarly, they can continue managing from a distance if needed post-pandemic. The study adds to the literature on workplaces’ transitioning to distance management and hybrid work and contributes to understanding the role of POS and managers’ JSA during this transition. Consequently, if an organization aims to offer hybrid work, improving support from top management and in-house support functions would help maintain or increase managers’ JSA. (shrink)

Dossier consacré à ce Florentin de la Renaissance défiant toutes les traditions et tous les savoirs établis, conseiller du prince ou défenseur des libertés du peuple, revendiqué par certains dictateurs comme Mussolini, étudié par des penseurs aussi opposés qu'Aron et Althusser.

We discuss the finite-to-one Rudin-Keisler ordering of ultrafilters on the natural numbers, which we baptize the Rudin-Blass ordering in honour of Professor Andreas Blass who worked extensively in the area. We develop and summarize many of its properties in relation to its bounding and dominating numbers, directedness, and provide applications to continuum theory. In particular, we prove in ZFC alone that there exists an ultrafilter with no Q-point below in the Rudin-Blass ordering.

t. 1. Des erreurs et de la vérité.--Ode sur l'origine.--Stances sur l'origine.

Ce recueil vise à interroger un versant moins connu, mais essentiel, de la pensée de Gadamer, sa méditation des philosophes grecs, des Présocratiques à Plotin, qui occupe un tiers de ses œuvres complètes.

Le débat actuel sur la pensée structurale soulève diverses questions qui intéressent l'interprétation de la philosophie hégélienne, et particulièrement l'interprétation hégélienne de la psychanalyse.Lucien Sebag estime que l'histoire et la structure représentent deux types d'explications qui se distinguent nettement par leur méthode d'opération tout autant que par les résultats obtenus. On peut conceptualiser, nous dit-il, de deux façons: I) en considérant des conduites individuelles ou collectives dont le compte rendu forme alors un récit. Ce mode de pensée est de type (...) causal. (shrink)

Cet ouvrage, qui est dédié à Karl Jaspers et préfacè par le maître, est une nouvelle édition de l'œuvre parue il y a vingt ans. Son auteur nous affirme aujourd'hui : « J'aurais dû, peut-être, retoucher ce livre. J'y ai pensé mais je ne l'ai pas pu ». Il est sans doute très difficile de récrire une œuvre de jeunesse.Le propos de ce livre est relativement simple; il veut montrer que la philosophic est une illusion, parce qu'elle repose sur une (...) décision du sujet qui se cherche à travers les objets qu'il examine. Il y aurait, à la base de l'entreprise philosophique une « duplicité fondamentale », de telle sorte que cette discipline ne peut aller que d'échec en échec. « Pour la clarté même de l'intelligence, il faut qu'elle sache oû ses preuves sont impossibles. Or, l'histoire me semble avoir démontré que la philosophic n'atteint pas à l'évidence scientifique ». (shrink)

Ce texte présente le point de vue du comité de parents d’un hôpital psychiatrique affecté aux soins de longue durée dont la redéfinition de mission entraînera le congé des bénéficiaires qui seront dirigés vers des ressources extérieures. Depuis deux ans le comité s’oppose à ce transfert qui lui semble précipité, néfaste et improvisé. Le texte propose un point de vue qui met en valeur l’idée d’institution comme expression concrète et garante des principes sur lesquels repose toute société civilisée capable de (...) compassion face à ses citoyens les plus démunis. (shrink)

La recherche conduite dans le cadre de la thèse de doctorat (CROUZIER 2003) a été focalisée sur l’analyse des liens professionnels tissés entre les dispositifs RASED et les équipes éducatives des écoles primaires. Nous avons co-construit les données nécessaires à leur compréhension et choisi des traitements combinant les avantages du quantitatif et du qualitatif. Nous avons en particulier retenu une approche statistique fondée sur l’analyse statistique textuelle (LEBART SALEM 1994) pour explorer le corpus construit à partir d’entretiens auprès d’un échantillon (...) de professionnels concernés par les aides spécialisées à l’école primaire. Le choix de l’approche statistique s’inscrit dans une conception du raisonnement statistique développée par J.C. Régnier (REGNIER 1998, 2002). L’opérationnalisation du traitement a été rendue possible par le recours à un outil informatique, le logiciel S.P.A.D. (Système Portable de l’Analyse des Données) du CISIA. Cet outil permet de décrypter les corpus obtenus par des méthodes d’analyse factorielle de correspondances multiples. Différentes procédures ont été appliquées aux corpus bruts puis codés. Cette approche “quantiqualitative”, apportant une plus-value interprétative, décrypte de façon singulière la complexité de la collaboration entre acteurs. Abstrac: This PhD dissertation (CROUZIER 2003) focuses on the analysis of the professional relationships between the French institutional comprehensive remedial scheme known as RASED and educational teams in primary schools. We have jointly identified the data relevant to a thorough understanding of such relationships, opting for a method of data processing combining the advantages of both quantitative and qualitative approaches. We have chiefly relied on a specific brand of textual statistics (LEBART SALEM 1994) in order to explore a corpus made up of interviews with the primary school staffs involved in the scheme. The statistical approach accords with the conception of statistical processing developed by JC Regnier (REGNIER 1998, 2002). The processing itself has been engineered thanks to CISIA’s software, known as SPAD (portable data processing system). It has enabled us to decrypt the different types of corpuses through Correspondence Analysis (CA). Both the raw and the coded corpuses have been submitted to different types of processing. The approach, combining quantitative and qualitative elements, opens up on to new powerful interpretative insights and sheds a new light on the intricate network of interaction between the people involved. (shrink)

Découvert récemment, le premier cours de Paul Tillich sur la philosophie de la religion montre à quel point la philosophie critique de Kant fut une influence déterminante sur la genèse de la pensée tillichienne. Tillich applique la méthode critique de manière ingénieuse pour définir la fonction religieuse. Il voit également dans la notion kantienne de l’inconditionné l’amorce d’une saisie intuitive de la nature irréductiblement irrationnelle de la religion. Pour Tillich, ce noyau mystique du rationalisme kantien mène tout droit au mysterium (...) tremendum et fascinans de la phénoménologie religieuse de Rudolf Otto. Mais Tillich va plus loin en affirmant que notre orientation fondamentale vers l’inconditionné constitue le vrai point de départ du religieux, même lorsque cela se fait sous un déguisement profane. (shrink)

Tennessee State University's coach of women's track and field reflects on his life, career, and experience as a coach for the 1960, 1964, and 1980 summer Olympics.