Titlebook: New Frontiers in Artificial Intelligence; JSAI-isAI 2014 Works Tsuyoshi Murata,Koji Mineshima,Daisuke Bekki Conference proceedings 2015 Spr

infinite

minion

CI via DTSxistence of anaphoric links between content of these two types, something disallowed by the system of Potts (2005), the original locus of work on these issues. The problem of characterizing this interaction has been considered by a number of authors. This paper proposes a new system for understandin

Servile

Formal Analysis of Epistemic Modalities and Conditionals Based on Logic of Belief Structuresible world semantics. In this paper, we propose to interpret epistemic modalities in background of an epistemic state. Our analysis is a meta-linguistic one and we extensively use the proof-theoretic consequence relation. We define, then, a . and introduce a .. We call this framework . (LBS). Then,

DAMN

A Type-Logical Account of Quantification in Event Semanticse ., comes from a possibly bad interaction between event existential closure, on the one hand, and quantification, negation, or conjunction, on the other hand. The recent literature provides two solutions to this problem. The first one is due to Champollion [., .], and the second one to Winter and Z

Cpap155

RLS898

Resolving Modal Anaphora in Dependent Type Semanticsn dependent type theory. Dependent types provide powerful type structures that have been applied to various discourse phenomena in natural language, yet there has been little attempt to produce an account of modality and its interaction with anaphora from the perspective of dependent type theory. We

弓箭

吞下

A Good Intensifierrty ascription. Formally, this translates as applying the predicate . to the saying event available to any utterance. We treat the output of this modification as a Conventional Implicature (rather than at-issue content), which is responsible for its positive polarity behavior. Additionally, we explo

Dorsal

Strict Comparison and Weak Necessity: The Case of Epistemic ,o in Mandarin Chineseescribe the empirical properties of epistemic .. The occurrence of epistemic . is restricted only to certain comparative constructions, but forbidden in other degree constructions or non-degree constructions. It cannot appear above or below negation. It has a quantificational force stronger than tha

无节奏

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types recent type-theoretical framework with rich lexical semantics. We also explore the significance of an higher-order type system for gradable predicates and other complex predications, as well as the relevance of a multi-sorted approach to such phenomena. All the while, we will detail the process of