A disjunctive temporal logic programming language, called Disjunctive Chronolog is presented in this paper. Disjunctive Chronolog combines the ideas of both temporal logic programming and disjunctive logic programming. The new language is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. Minimal model semantics, model ...

Nowadays, many real problems can be modelled as Constraint Satisfaction Problems (CSPs). Some CSPs are considered non-binary disjunctive CSPs. Many researchers study the problems of deciding consistency for Disjunctive Linear Relations (DLRs). In this paper, we propose a new class of constraints called Extended DLRs consisting of disjunctions of linear inequalities, linear disequations and non-...

This paper presents the equivalence relationship between disjunctive and abductive logic programs. We show that the generalized stable model semantics of abductive logic programs can be translated into the possible model semantics of disjunctive programs, and vice versa. It is also proved that abductive disjunctive programs can be expressed by abductive logic programs under the possible model s...

We study the problem of rewriting a disjunctive datalog program into plain datalog. We show that a disjunctive program is rewritable if and only if it is equivalent to a linear disjunctive program, thus providing a novel characterisation of datalog rewritability. Motivated by this result, we propose weakly linear disjunctive datalog—a novel rule-based KR language that extends both datalog and l...

We propose a semantics for disjunctive logic programs, based on the single notion of forcing. We show that the semantics properly extends, in a natural way, previous approaches. A fixpoint characterization is also provided. We also take a closer look at the relationship between disjunctive logic programs and disjunctivefree logic programs. We present certain criteria under which a disjunctive p...

Directing to the high cost of computer simulation optimization problem, Kriging surrogate model is widely used to decrease the computation time. Since the sequential Kriging optimization is time consuming, this article extends the expected improvement and put forwards a modified sequential Kriging optimization (MSKO). This method changes the twice optimization problem into once by adding more t...

Sensitivity analysis of capital investments can be effectively carried out by employing a metamodel approach and experimental designs. Although polynomial regression metamodels are popular and straightforward, they do not consider spatial relationships among the data. Dual kriging is an estimation technique that allows the incorporation of spatial correlation into the interpolation or estimatio...

We present a framework of logic programming using an explicit representation of defeats of assumptions, called assumption denials. We study semantics for extended, disjunctive, and extended disjunctive programs, all in the same framework. The framework is based on a x-point operator over \uninterpreted programs", and semantics for various kinds of programs are then deened simply by adding appro...

Disjunctive systems are a representation of L-domains. They use sequents of the form X ` Y , with X nite and Y pairwise disjoint. We show that for any disjunctive system, its elements ordered by inclusion form an L-domain. On the other hand, via the notion of stable neighborhoods, every L-domain can be represented as a disjunctive system. More generally, we have a categorical equivalence betwee...