Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
In this paper, we study competitive markets - a market is competitive if increasing the endowment of any one buyer does not increase the equilibrium utility of any other buyer. In ...
Presented is a method for reducing the size of if-then rules generated from data tables with graded attributes. Data tables with graded attributes represent data structures descri...
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...