We consider logic programming languages in which it is possible to derive negative information both through a direct and through an indirect derivation mechanism. The isolated direct derivation steps are monotone and the indirect are based on the Closed World Assumption and therefore nonmonotone. The semantics of the direct and indirect negative conclusions have separately been studied extensiv...

Due to the variety of products, simultaneous production of different models has an important role in production systems. Moreover, considering the realistic constraints in designing production lines attracted a lot of attentions in recent researches. Since the assembly line balancing problem is NP-hard, efficient methods are needed to solve this kind of problems. In this study, a new hybrid met...

A mixed-typed differential inclusion with a weakly continuous nonlinear term and a nonmonotone discontinuous nonlinear multi-valued term is studied, and the existence and decay of solutions are established. 2000 Mathematics Subject Classification. Primary 34G20, 35M10, 35M20.

We recall a previous general result of weak stabilization for an abstract second order evolution equation damped by a nonlinear nonmonotone feedback. We apply it to deduce strong stabilization of hybrid systems without global monotonicity.

We present some error bound results of generalized D-gap functions for nonsmooth and nonmonotone variational inequality (VI) problems. Application is given in providing a derivative-free descent method.

In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms à la Richter with recursively inaccessible and Mahlo closure ordinals is given.

In this paper we describe a new technique for obtaining lower bounds on restriced classes of nonmonotone arithmetic circuits. The heart of this technique is a complexity measure for multivariate polynomials, based on the linear span of their partial derivatives.