Model counting is an important problem in artificial intelligence and is applied in several areas of information science. Extension rule is a method which could be used to count models. But it’s not appropriate when clause length is short or clause number is huge. After studying extension rule, we found that the satisfiability problem could be solved by hitting set algorithms. And the models co...

While clause resolution is central to logic programming, practical eeorts to optimize resolution have largely concerned eecient clause indexing. One recent exception is Uniication Factoring 5], which optimizes backtracking through clause heads. Here we consider the problem of optimizing clause resolution in a more general setting than Uniication Factoring. One fundamental change is to use mode ...

While clause resolution is central to logic programming, practical eeorts to optimize resolution have largely concerned eecient clause indexing. One recent exception is Uniication Factoring 5], which optimizes backtracking through clause heads. Here we consider the problem of optimizing clause resolution in a more general setting than Uniication Factoring. One fundamental change is to use mode ...

Halliday’s Systemic Functional Linguistics (SFL) has stood the test of time as a model of text analysis. The present literature contains a plethora of studies that while taking the ‘clause’ as a unit of analysis have put into investigation the metafunctions in research articles of a single field of study or those of various fields in comparison. Although ‘clause complex’ is another unit of SF a...

a jurisprudential and legal survey on reflection of fairness in the special legal acts siroos shahriyari [1] hamid miri (ph.d.) [2]     abstract with a view to foreign and domestic law and jurisprudence, it is appeared that there are streaks of making attention to the fairness factor behind of confronting some special legal acts such as usury and mortgage contracts, penal and non-liability clau...

Contrastively focused constituents in Malagasy, a verb-initial language, occur at the left edge of the clause, separated from the remainder of the clause by the particle no (previous work has shown that no forms a constituent with what follows it, here called the NO-PHRASE). The Malagasy focus construction is usually analyzed as a pseudo-cleft: the focus phrase constitutes the main predicate of...

The paper describes a rule-based system for tagging clause boundaries, implemented for annotating the Estonian Reference Corpus of the University of Tartu, a collection of written texts containing ca 245 million running words and available for querying via Keeleveeb language portal. The system needs information about parts of speech and grammatical categories coded in the word-forms, i.e. it ta...

Abstract The current study presents an analysis of a linguistic device supporting interactional coherence in computer-mediated communication (CMC). focused on the use German causative conjunction weil and, more specifically, syntactic variation verb-final versus verb-second word order -clause. Verb-final indicates dependent clause, whereas independent clause. While only former is accepted writt...

A clause is a disjunction of literals. We use set notation; a set of literals denotes the clause that is their disjunction. The empty clause is denoted by . The width of a clause C, denoted |C|, is the number of literals in it. The width of a CNF formula F , denoted width(F ), is the maximum width of any clause in F . For a partial assignment ρ, C|ρ denotes the restriction of the clause C by ap...