<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Agotnes, Thomas</style></author><author><style face="normal" font="default" size="100%">Broersen, Jan</style></author><author><style face="normal" font="default" size="100%">Elgesem, Dag</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Andersonian deontic logic with contextualized sanctions</style></title><secondary-title><style face="normal" font="default" size="100%">11th International Conference on Deontic Logic in Computer Science, DEON2012</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">151-169</style></pages><isbn><style face="normal" font="default" size="100%">9783642315695</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We present a refinement of Anderson's reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula S B is then for instance interpreted as ldquo B causes a sanctionrdquo or as ldquo B provides a reason for (the applicability of) a sanctionrdquo. Due to its modified sanction operator, the resulting logic DSL invalidates some instances of the inheritance principle. This gives rise to new interesting features. For instance, DSL consistently allows for the presence of conflicting obligations. Moreover, it provides novel insights in various central `paradoxes' in deontic logic such as the Ross paradox, the paradox of the good Samaritan, and Forrester's `gentle murderer' paradox.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Rommevaux, Sabine</style></author><author><style face="normal" font="default" size="100%">Spiesser, Maryvonne</style></author><author><style face="normal" font="default" size="100%">Massa Esteve, Maria Rosa</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The rule of quantity by Chuquet and de la Roche and its influence on German Cossic algebra</style></title><secondary-title><style face="normal" font="default" size="100%">Pluralité de l'algèbre à la Renaissance</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Honoré Champion</style></publisher><pages><style face="normal" font="default" size="100%">127–147</style></pages><isbn><style face="normal" font="default" size="100%">9782745323989</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The importance of &lt;em&gt;Larismethique&lt;/em&gt; of de La Roche, published in 1520, has been seriously underestimated. One reason for the neglect is related to the inscrutable way he is referred to. Buteo and Wallis called him Stephanus à Rupe de Lyon. Other obscure references, such as Gosselin calling him Villafrancus Gallus have been overlooked by many commentators. His influence can be determined in several works that do not credit him but use problems or definitions from the &lt;em&gt;Larismethique&lt;/em&gt;. However, most damaging for its historical assessment was Aristide Marre?s misrepresentation of the &lt;em&gt;Larismethique&lt;/em&gt; as a grave case of plagiarism. Marre discovered that the printed work of 1520 by Estienne de la Roche contained large fragments that were literally copied from Chuquet?s manuscript of the Triparty. Especially on the &lt;em&gt;Appendice&lt;/em&gt;, which contains the solution to a large number of problems, Marre writes repeatedly that it is a literal copy of Chuquet. However, he fails to mention that the structure of the text of de la Roche, his solution methods and symbolism differs significantly from Chuquet. De la Roche introduces several improvements, especially with regards to the use of the second unknown. We provide an in-depth comparison of some problems solved by the so-called &lt;em&gt;regle de la quantite&lt;/em&gt; by Chuquet with those of de la Roche. We further report on the surprising finding that Christoff Rudolff's solution to linear problems by means of the second unknown in his &lt;em&gt;Behend vnnd Hubsch Rechnung&lt;/em&gt; of 1525 depends on Chuquet and de la Roche. As it is generally considered that algebra was introduced in Germany through Italy this provides a new light on the transmission of algebraic knowledge from France to the rest of Europe.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">De Regt, Henk</style></author><author><style face="normal" font="default" size="100%">Leonelli, Sabina</style></author><author><style face="normal" font="default" size="100%">Eigner, Kai</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Understanding in political science: the plurality of epistemic interests</style></title><secondary-title><style face="normal" font="default" size="100%">Scientific Understanding. Philosophical Perspectives</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">University of Pittsburgh Press</style></publisher><pages><style face="normal" font="default" size="100%">298–313</style></pages><isbn><style face="normal" font="default" size="100%">9780822943785</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">de Amo, Sandra</style></author><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Eiter, Thomas</style></author><author><style face="normal" font="default" size="100%">Schewe, Klaus-Dieter</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Logical Framework for Integrating Inconsistent Information in Multiple Databases</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Information and Knowledge Systems</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/3-540-45758-5_5</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin Heidelberg</style></publisher><volume><style face="normal" font="default" size="100%">2284</style></volume><pages><style face="normal" font="default" size="100%">67-84</style></pages><isbn><style face="normal" font="default" size="100%">978-3-540-43220-3</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. In this paper, we use one of the paraconsistent logics introduced in [9,7] (&lt;strong&gt;LFI1&lt;/strong&gt;) as a logical framework to model possibly inconsistent database instances obtained by integrating different sources.We propose a method based on the sound and complete tableau proof system of &lt;strong&gt;LFI1&lt;/strong&gt; to treat both the integration process and the evolution of the integrated database submitted to users updates. In order to treat the integrated database evolution, we introduce a kind of generalized database context, the evolutionary databases, which are databases having the capability of storing and manipulating inconsistent information and, at the same time, allowing integrity constraints to change in time. We argue that our approach is sufficiently general and can be applied in most circumstances where inconsistency may arise in databases.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Earman, John</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Do we need a hierarchical model of science?</style></title><secondary-title><style face="normal" font="default" size="100%">Inference, Explanation, and Other Frustrations. Essays in the Philosophy of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1992</style></year></dates><publisher><style face="normal" font="default" size="100%">University of California Press</style></publisher><pages><style face="normal" font="default" size="100%">199–215</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>