in various legal systems, with adoption of the validity of exclusion clause as a rule, in the exceptional instances for the reason of social importance of the matter and contrary to the public policy, exclusion clause is void. thus, in the case of death; bodily injuries; deliberated breach of contract or legal duty ;gross negligence and deception imputed to party relying to exclusion clause, it...

in state-investor dispute, investor tends that umbrella clause transfers all contractual claims to treaty claims. by contracts, state follows narrow interpretation of this clause. up to ilc articles, establishing of responsibility of state for breach of contract requires tow preconditions. first state is merely responsible when state condoct has been of governmental nature and second is that br...

We give an exact deterministic algorithm for MAX-SAT. On input CNF formulas with constant clause density (the ratio of the number of clauses to the number of variables is a constant), this algorithm runs in O(c) time where c < 2 and n is the number of variables. Worst-case upper bounds for MAX-SAT less than O(2) were previously known only for k-CNF formulas and for CNF formulas with small claus...

In this paper, we describe a parallel inference model for logic programming on general-purpose multicomputers. In the model, input clauses are partitioned into subsets, and resolution is conducted on each subset concurrently. The partitions are dynamically adjusted via clause migration as inference proceeds. This allows each processor to work on virtually the whole clause set while a shorter re...

This study aims to present an accessible model of some frequent nonfinite adverbial types occurring in English prose fiction. As its main syntactic argument, it recognizes that these adverbials are mostly elliptical in that there are some dependent-clause markers one can assume to be implicit when supplying those elements back into the clause complex. Some comments are provided at the end on th...