نتایج جستجو برای: small clause
تعداد نتایج: 794536 فیلتر نتایج به سال:
This paper is devoted to investigate resolution for quantified generalized clause-sets (QCLS). The soundness and refutation completeness are proved. Then quantified generalized Horn clause-sets are introduced for which a restricted resolution, called quantified positive unit resolution, is proved to be sound and refutationally complete. Moreover, it is shown that the satisfiability for quantifi...
Hitting clause-sets (as CNFs), known in DNF language as “disjoint” or “orthogonal”, are clause-sets F , such that any C,D ∈ F , C 6= D, have a literal x ∈ C with x ∈ D. The set of unsatisfiable such F is denoted by UHIT ⊂ MU (minimal unsatisfiability). A basic fact is δ(F ) ≥ 1 for F ∈ MU , where the deficiency δ(F ) := c(F ) − n(F ) is the difference between the number of clauses and the numbe...
In this paper we show how information structure affects the text coherence for before/after-sentences in a discourse. We analyse information structure with respect to the question of how information is presented on the sentence level and how the presented information can be connected to the preceding discourse. In particular, we raise the question of when a preposed temporal clause is felicitou...
We investigate an improvement to GSAT which associates a weight with each clause. We change the objective function so that GSAT moves to assignments maximizing the weight of satis ed clauses, and each clause's weight is changed when GSAT moves to an assignment in which this clause is unsatis ed. We present results showing that this version of GSAT has good performance when clause weights are re...
This article presents two questionnaire experiments that investigate the processing complexity of a variety of nested constructions in Japanese. The first experiment demonstrated that embedded structures containing a direct object NP in the most embedded clause were more complex than comparable nested structures that lacked an object NP in the most embedded clause. The second experiment demonst...
This paper addresses the clause splitting problem and proposes a multilingual method for detecting clause boundaries in unrestricted texts. The method combines language independent machine learning techniques with language specific rules in order to take the first step in building the hierarchical structure of sentences. The results of a machine learning algorithm, trained on an annotated corpu...
The present paper describes various syntactic sentence fusion techniques for Bengali language that belongs to the Indo-Aryan language family. Firstly a clause identification and classification system marks clause boundaries and classifies them as principle clause and subordinate clauses. A rule-based sentence classification system has been developed to categorize sentences as simple, complex an...
We exploited the properties of VP-ellipsis constructions containing inherently reflexive and inalienable possession verbs that severely constrained final interpretation (e.g., "The policeman perjured himself, and the fireman did too…"). Using the cross-modal lexical priming task, we found that listeners reactivated the subject NP from the first clause at the elided position in the second clause...
Abstract The hybrid clause is an optional dispute resolution that offers the parties to a contract, for resolving their dispute, option between state courts and arbitral tribunals. combination of two different mechanisms, litigation arbitration, raises issue determining international or regional instruments applicable this clause, such as Brussels I bis Regulation. As matter fact, Recast Regula...
We consider the question of the existence of variables with few occurrences in boolean conjunctive normal forms (clause-sets). Let μvd(F ) for a clause-set F denote the minimal variable-degree, the minimum of the number of occurrences of variables. Our main result is an upper bound μvd(F ) ≤ nM(σ(F )) ≤ σ(F ) + 1 + log 2 (σ(F )) for lean clause-sets F in dependency on the surplus σ(F ). Lean cl...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید