You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.
Le premier mai 1876 Louis Riel écrivait à Mgr Courget: "Le Saint-Espirt m'a dit: Tu es le Messie de Gloire humaine que la Maison de Jacob s'attendait à trouver dans le Verbe incarné". A la suite de quel cheminement psychologique et sous la pression de quels facteurs sociaux Louis Riel en arriva-t-il à cette convition? Quelle fut l'évolution de cette idéologie messianique et millénariste tout ou long de sa vie? Enfin quel rôle joua cette idéologie dans ses actions politiques entre 1869 et 1885? Utilisant abondamment des sources manuscrites souvent inédites, la présent analyse de sociologie historique entend situer la personne de Riel dans l'historie collective du peuple métis. La description circonstanciée des bouleversements socioéconomiques du peuple métis et l'analyse détaillée des traumatismes psychologiques de Louis Riel se conjuguent pour éclairer d'un jour nouveau cette page controversée de l'histoire canadienne.
None
This book provides an up-to-date overview on the biology of microsporidia, focusing on areas where significant progress has been made in recent years. In particular, our understanding of the evolutionary position and the role of genome reduction in the biology of these enigmatic intracellular pathogens is discussed. This book also offers important updates on the mechanisms used by these organisms to modify the host cell biology of mammals, insects, nematodes, and aquatic animals, as well as the mechanisms controlling infection and host specificity. Readers gain a detailed overview of the structure and function of the polar tube, the unique invasion apparatus of microsporidia, as well as the ...