Several goals of the demonstration have been accomplished. This demonstration displays documentation , can be used to display the algorithms, allows the users to set input parameter values, and generates program output given these values. A user can log on the WWW server, run the CBR demonstration, and in a few minutes learn about the type of research that is being done here at NCARAI. The inte...

Many coherence-based approaches to inconsistency handling within propositional belief bases have been proposed so far. They consist in selecting one or several preferred consistent subbases of the given (usually inconsistent) stratified belief base (SBB), then using classical inference from some of the selected subbases. Unfortunately, deciding the corresponding inference relations is typically...

The terminology of sourcing, outsourcing and insourcing is developed in detail on the basis of the preliminary definitions of outsourcing and insourcing and related activities and competences as given in our three previous papers on business mereology, on the concept of a sourcement, and on outsourcing competence respectively. Besides providing more a detailed semantic analysis we will introduc...

Compton, K.J., Stratified least fixpoint logic, Theoretical Computer Science 131 (1994) 95-120. Stratified least jixpoint logic, or SLFP, characterizes the expressibility of stratified logic programs and, in a different formulation, has been used as a logic of imperative programs. These two formulations of SLFP are proved to be equivalent. A complete sequent calculus with one infinitary rule is...

We consider derivative-free black-box global optimization of expensive noisy functions, when most of the randomness in the objective is produced by a few influential scalar random inputs. We present a new Bayesian global optimization algorithm, called Stratified Bayesian Optimization (SBO), which uses this strong dependence to improve performance. Our algorithm is similar in spirit to stratific...