<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Nakakoji, Kumiyo</style></author><author><style face="normal" font="default" size="100%">Murakami, Yohei</style></author><author><style face="normal" font="default" size="100%">McCready, Eric</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Adaptive Logic for the Formal Explication of Scalar Implicatures</style></title><secondary-title><style face="normal" font="default" size="100%">New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-14888-0\_20</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Verlag</style></publisher><isbn><style face="normal" font="default" size="100%">978-3-642-14887-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;Hearers get at the intended meaning of uncooperative utterances (i.e. utterances that conflict with the prescriptions laid down by the Gricean maxims) by pragmatically deriving sentences that reconcile these utterances with the maxims. Such pragmatic derivations are made according to pragmatic rules called implicatures. As they are pragmatic in nature, the conclusions drawn by applying implicatures remain uncertain. In other words, they may have to be withdrawn in view of further information. Because of this last feature, Levinson argued that implicatures should be formally modeled as non–monotonic or default rules of inference. In this paper, I will do exactly this: by relying on the Adaptive Logics Programme, I will provide a formal explication of implicatures as default inference rules. More specifically, I will do so for a particular kind of implicatures, viz scalar implicatures.&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%">Primiero, Giuseppe</style></author><author><style face="normal" font="default" size="100%">Jespersen, Bjørn</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Nakakoji, Kumiyo</style></author><author><style face="normal" font="default" size="100%">Murakami, Yohei</style></author><author><style face="normal" font="default" size="100%">McCready, Eric</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Two type-theoretical approaches to privative modification</style></title><secondary-title><style face="normal" font="default" size="100%">New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops</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%">Springer Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Berlin, Heidelberg</style></pub-location><pages><style face="normal" font="default" size="100%">239–258</style></pages><isbn><style face="normal" font="default" size="100%">4-915905-37-3 C3004</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper we apply two kinds of procedural semantics to the problem of privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of a procedural semantics; the second is to extend Martin-Lof's Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.&lt;/p&gt;</style></abstract></record></records></xml>