Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
We investigate the effect of incomplete information in a model where a start-up with a unique idea and technology pioneers a new market but will eventually be expelled from the ma...
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...