There are several well known possibilities which constrained clauses (= c-clauses, for short) provide in addition to standard clauses. In particular, many (even innnitely many) standard clauses can be represented by a single c-clause. Hence, many parallel inference steps on standard clauses can be encoded in a single inference step on c-clauses. The aim of this work is to investigate another po...

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

the main purpose of this article is to determine the nature and effects of reservation of title clauses in iranian law. to bring out the exact comprehension of its nature in iranian law, the study of the matter in other legal systems is required. although it is not always easy to pass upon the question of validity of these clauses in iranian law, by highlighting the security interest in such co...

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 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...

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...