which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The Creative Commons Public Domain Dedication waiver

Several practical inductive logic programming systems efficiently learn “determinate” clauses of constant depth. Recently it has been shown that while nonrecursive constant-depth determinate clauses are pat-learnable, most of the obvious syntactic generalizations of this language are not pat-learnable. In this paper we introduce a new restriction on logic programs called “locality”, and present...

We formalize in this paper a key property of asserting clauses (the most common type of clauses learned by SAT solvers). We show that the formalized property, which is called empowerment, is not exclusive to asserting clauses, and introduce a new class of learned clauses which can also be empowering. We show empirically that (1) the new class of clauses tends to be much shorter and induce furth...

This experimental study examined the effectiveness of using focused and unfocused tasks on Iranian intermediate EFL learners’ performance in producing noun, adjective, and adverb clauses. In addition,the aim of this study was to explore the effects of form-focused instruction and the feedback students received from their teacher after doing focused grammar tasks. Data consisted of the scores of...

This article investigates best-price clauses as a strategic device to facilitate collusion in a dynamic duopoly game. Best-price clauses guarantee rebates on the purchase price if a customer finds a better price after his purchase. Two different price clauses are distinguished: "most favored customer" and "meet or release." I examine the collusive potential of both clauses in a finite-horizon d...

this sentence is what a prominent english judge has said about the power of judges in dealing with cases in english law. an example of this power can be found in contractual terms for damages called penalties and liquidated damages. as it is expected, contracts are basically made to be performed and not to be avoided according to the whims of market fluctuation. however, the adherence to freedo...

In this paper, we introduce ordered clauses as defined a sequence of literals, and investigate the properties of generalizations for ordered clauses. Furthermore, we show that the subsumption problem for ordered clauses is NP-complete, as similar as the subsumption problem for ordinal clauses. Hence, the definition that a clause is a set of literals is inessential for the intractability of subs...

Given a family of Horn clauses, what is the minimal number of Horn clauses implying all other clauses in the family? What is the maximal number of Horn clauses from the family without having resolvents of a certain kind? We consider various problems of this type, and give some sharp bounds. We also consider the probability that a random family of a given size implies all other clauses in the fa...

Acquired immunodeficiency syndrome (AIDS), an increasingly significant health problem, presents a special challenge to Medicaid programs. Analyzed in this article is one particular approach to providing services for Medicaid-eligible AIDS patients: the Medicaid home and community-based (section 2176) waiver program, authorized by the 1981 Omnibus Budget Reconciliation Act and amended in 1985 to...