Adding I/O to logic programming is an essential task. Unfortunately, none of the existing logic languages can model bounded inputs. Executing the goal read(x)G from a program P simply tries to unify x with the keyboard input. This is an unpredictable and unguided situation, because the user can type in anything. We propose to modify the operational semantics above to allow for more controlled a...

This paper describes a synthesis algorithm tailored to the construction of choice-free Petri nets from finite persistent transition systems. With this goal in mind, a minimised set of simplified systems of linear inequalities is distilled from a general region-theoretic approach, leading to algorithmic improvements as well as to a partial characterisation of the class of persistent transition s...

We consider a budgeting problem where a speciied number of projects from some disjoint classes has to be selected such that the overall gain is largest possible, and such that the costs of the chosen projects do not exceed a xed upper limit. The problem has several application in government budgeting, planning, and as relaxation from other combinatorial problems. It is demonstrated that the pro...

The stereophonic acoustic echo, due to the coupling between two loudspeakers and two microphones, can be modelled by a two-input/two-output system with real random variables. In this paper, we recast the problem as a single-input/single-output system with complex random variables, by using the widely linear (WL) model, and propose a new distortion method that fits well in this context. In order...

Abstract Hurricanes are the costliest type of natural disaster in United States. Every year, these phenomena destroy billions dollars physical capital, displace thousands, and greatly disrupt local economies. While this damage will never be eliminated, number fatalities cost preparing evacuating can reduced through improved forecasts. This paper seeks to establish public’s willingness pay for f...

The rationality of a fuzzy choice function is a hot research topic in the study of fuzzy choice functions. In this paper, two common fuzzy sets are studied and analyzed in the framework of the Banerjee choice function. The complete rationality and bounded rationality of fuzzy choice functions are defined based on the two fuzzy sets. An assumption is presented to study the fuzzy choice function,...