This paper presents a solution for resolving inter-sentential anaphoric pronoun “nó” in Vietnamese paragraphs composing 3 to 5 simple sentences. In Vietnamese, “nó” is a special pronoun, can be used to indicate human, animal or non-animate object depending on the content and context of the paragraph (so in English, we should use “he”, “she” or “it”) . The proposed solution consists of some find...

The present paper proposes a method by which to translate outputs of a robust HPSG parser into semantic representations of Typed Dynamic Logic (TDL), a dynamic plural semantics defined in typed lambda calculus. With its higher-order representations of contexts, TDL analyzes and describes the inherently inter-sentential nature of quantification and anaphora in a strictly lexicalized and composit...

In this paper, we propose FFCI, a framework for fine-grained summarization evaluation that comprises four elements: faithfulness (degree of factual consistency with the source), focus (precision summary content relative to reference), coverage (recall and inter-sentential coherence (document fluency between adjacent sentences). We construct novel dataset focus, coverage, coherence, develop auto...

The last decade has seen rigorous activities in the field of Sanskrit computational linguistics pertaining to word level and sentence level analysis. In this paper we point out the need of special treatment for Sanskrit at discourse level owing to specific trends in Sanskrit in the production of its literature ranging over two millennia. We present a tagset for inter-sentential analysis followe...

" Sentential reflection " in the sense of [Fr03] is based on reflecting down from a category of classes. " Elemental sentential reflection " is based on reflecting down from a category of elemental classes. We present various forms of elemental sentential reflection, which are shown to interpret and be interpretable in certain set theories with large cardinal axioms.

This thesis deal with the types of Code Mixing found in Tere Liye’s Novel ”Tentang Kamu”. The is focused on analyzing code mixing used text within novel. main purpose this to find out Kamu”, most type and analyze reasons functionality particular used. data study 167 clauses containing that research was conducted by using Descriptive Qualitative Research. technique collect documentary reading, s...

Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic reasoning with an existing sentential theorem prover, thus enabling so-called heterogeneous reasoning, particularly in real arithmetic. We will study a set of diagrammatic proof examples from which we will construct a diagrammatic...

For any structural sentential calculus (L,C) and sentential language L, similar to L, we put Θo C = {C ′|C ′ is a structural consequence operation on Lo satisfying: A ∈ C(X) only if eA ∈ C ′(eX), all X ∪ {A} ⊆ L and e ∈ Hom(L,Lo)}. Let us recall the following Definition (R. Wójciciki, see III §in [4]). Let (L,C) be structural and Lo be a sentential language similar to L. The projection of (L,C)...

This paper proposes DINloop (Data-In-Network loop) based multicast with GMPLS (generalized multiprotocol label switching) to overcome the scalability problems existing in current inter-domain multicast protocols. In our approach, multiple multicast sessions share a single DINloop instead of constructing individual multicast trees. DINloop is a special path formed using GMPLS to establish LSPs (...