Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. Several variants of the chase have been proposed. In the first part of this paper, we propose a new tool that allows to extend existing acyclicity conditions ensuring chase termination, while keeping good complexity properties. In the second part, we study the extension to existential rules with nonmonotonic negation under stable model semantics, discuss the relevancy of the chase variants for these rules and further extend acyclicity results obtained in the positive case.Comment: This paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014

Frédéric Chauviré, Histoire de la Cavalerie

Ce n’est pas sans un certain courage qu’un étudiant s’attaque à un monument de l’histoire des armées européennes telle que celui de la cavalerie à cheval. C’est ce que fit pourtant Frédéric Chauviré pour sa thèse de doctorat dont cet ouvrage est issu. De ce thème immense et lourd de nombreuses traditions, l’auteur arrive à faire une synthèse extrêmement didactique en prenant pour fil conducteur, ce que lui-même appelle « le but principal de la cavalerie de bataille », la charge. Cette manoeuv..

Stéphane Genêt, Les espions des Lumières : Actions secrètes et espionnage militaire sous Louis XV

Le développement de la recherche universitaire sur la question du renseignement sous l’Ancien régime connaît un véritable essor depuis les années 1990 et l’ouvrage de Stéphane Genet en est un des plus beaux fruits. Ce livre, tiré de sa thèse de doctorat, se place dans la lignée des travaux de Lucien Bély sur l’espionnage sous Louis XIV et met en valeur un remarquable travail de recherches au sein des archives du SHD et du MAÉ. En défrichant ses sources et en nous livrant son analyse, l’auteur..

Le siège de Belgrade (1717) raconté par un officier français

Le royaume de grande Hongrie, qui s’étend au xviiie siècle bien au-delà des frontières de l’actuel État hongrois, est le lieu d’affrontements réguliers des Empires autrichien et ottoman depuis le XVIe siècle. Ces guerres, par l’importance des belligérants, concernent toute l’Europe. Notamment la France qui s’est opposée à la famille Habsbourg durant tout le règne de Louis XIV. Aussi, lorsque survient en 1716 la troisième guerre austro-turque, l’administration militaire française est à l’affût..

Le siège de Belgrade (1717) raconté par un officier français

Le royaume de grande Hongrie, qui s’étend au xviiie siècle bien au-delà des frontières de l’actuel État hongrois, est le lieu d’affrontements réguliers des Empires autrichien et ottoman depuis le XVIe siècle. Ces guerres, par l’importance des belligérants, concernent toute l’Europe. Notamment la France qui s’est opposée à la famille Habsbourg durant tout le règne de Louis XIV. Aussi, lorsque survient en 1716 la troisième guerre austro-turque, l’administration militaire française est à l’affût..

La campagne de Russie dans les collections du musée de l’Armée

La représentation de la campagne de 1812 dans les salles actuelles du musée de l’Armée est le fruit d’une longue histoire. Depuis sa création en 1905, l’institution a en effet beaucoup remanié ses collections au cours des acquisitions qu’elle a pu faire ou du contexte politique. Passant, à l’image de l’ensemble des campagnes de la Révolution et de l’Empire, d’un statut d’icône de l’histoire militaire française avant la Première Guerre Mondiale, à un objet d’étude pour les amateurs de l’épopée napoléonienne, l’exposition des pièces de la campagne de Russie suit les évolutions du musée. Elle revêt cependant un caractère tout à fait particulier de par l’influence qu’ont sur elle les relations entre la France et la Russie à la fin du XIXe siècle et au début du XXe siècle, mais aussi par la gageure que représente l’évocation d’un événement si important de l’histoire du Premier Empire avec le peu d’objets parvenus jusqu’à nous. Face à ces contraintes, les conservateurs du musée vont chercher à apporter des solutions afin de transcrire au mieux la réalité des soldats de l’armée des vingt nations.Representation of the 1812 campaign in the current halls of the Army Museum is the fruit of a long history. Since its inception in 1905, the institution has often revamped its collections from the acquisitions it could make or place in the political context. Incidentally, the image of all the campaigns of the Revolution and Empire, an iconic statue of French military history before the First World War, a subject of study for lovers of the Napoleonic era, the display of parts of the Russian campaign follows the evolution of the Museum. It takes on, however, a very special character from the influence of the relations between France and Russia in the late nineteenth and early twentieth century, but also by the challenge posed in evoking an important event in the history of the First Empire with few surviving items. Faced with these constraints, the curators of the Museum seek to provide ways to portray best the reality of soldiers in an army from twenty nations

A General Modifier-based Framework for Inconsistency-Tolerant Query Answering

We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority principles. It relies on two key notions: modifiers and inference strategies. An inconsistency-tolerant semantics is seen as a composite modifier plus an inference strategy. We compare the obtained semantics from a productivity point of view

Explainable Electrocardiogram Analysis with Wave Decomposition: Application to Myocardial Infarction Detection

International audienceAutomatic analysis of electrocardiograms with adequate explainability is a challenging task. Many deep learning based methods have been proposed for automatic classification of electrocardiograms. However, very few of them provide detailed explainable classification evidence. In our study, we explore explainable ECG classification through explicit decomposition of single-beat (median-beat) ECG signal. In particular, every single-beat ECG sample is decomposed into five subwaves and each subwave is parameterised by a Frequency Modulated Moebius. Those parameters have explicit meanings for ECG interpretation. In stead of solving the optimisation problem iteratively which is timeconsuming, we make use of an Cascaded CNN network to estimate the parameters for each single-beat ECG signal. Our preliminary results show that with appropriate position regularisation strategy, our neural network is able to estimate the subwave for P, Q, R, S, T events and maintain a good reconstruction accuracy (with R2 score 0.94 on test dataset of PTB-XL) in a unsupervised manner. Using the estimated parameters, we achieve very good classification and generalisation performance on myocardial infarction detection on four different datasets. The features of high importance are in accordance with clinical interpretations