@conference {872462,
	title = {An Adaptive Logic for the Formal Explication of Scalar Implicatures},
	booktitle = {New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops},
	year = {2010},
	publisher = {Springer Verlag},
	organization = {Springer Verlag},
	abstract = {<p>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{\textendash}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.</p>},
	isbn = {978-3-642-14887-3},
	url = {http://dx.doi.org/10.1007/978-3-642-14888-0\_20},
	author = {Lycke, Hans},
	editor = {Nakakoji, Kumiyo and Murakami, Yohei and McCready, Eric}
}
@incollection {802714,
	title = {Two type-theoretical approaches to privative modification},
	booktitle = {New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops},
	year = {2009},
	pages = {239{\textendash}258},
	publisher = {Springer Verlag},
	address = {Berlin, Heidelberg},
	abstract = {<p>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{\textquoteright}s Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.</p>},
	isbn = {4-915905-37-3 C3004},
	author = {Primiero, Giuseppe and Jespersen, Bj{\o}rn},
	editor = {Nakakoji, Kumiyo and Murakami, Yohei and McCready, Eric}
}
