In this article, a coupled computational framework is presented for the numerical simulation of mass transfer under the effects of natural convection phenomena in a field contains water-copper Nano-fluid. This CFD model is build up based on accurate algorithms for spatial derivatives and time integration. The spatial derivatives have been calculated using first order upwind and second order cen...

We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the resulting formalism is more expressive than standard temporal constraint networks. The extra representational power allows us to express temporal knowledge and queries that have been impossible to express before. To make...

I Abstract We are investigating the possibility of constructing meaningful and computationally efficient approximate reasoning methods for the first order logic. In particular, we study a situation when only certain aspects of the domain are of interest to the user. This is reflected by an equivalence relation defined on the domain of the knowledge base. The whole mechanism is called domain abs...

Nan et al. [J.-X. Nan, D.-F. Li and M.-J. Zhang, A lexicographic method for matrix games with payoffs of triangular intuitionistic fuzzy numbers, International Journal of Computational Intelligence Systems 3(3) (2010) 280-289] pointed out that there is no method in the literature to find the solution of such matrix games in which payoffs are represented by triangular intuitionistic fuzzy number...

Certain applications of logic to computer science, for example those discus: in [4], have the following features: only finite models are of interest, first-order logic is not sufficiently expressive. Accordingly, various extensions first-order logic have been proposed and analyzed for finite structures. " analysis often reveals connections with computational complexity, and ind some of the exte...