1008 search results - page 50 / 202 » Canonicity! |
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constr...
114
Voted
ENTCS
2007
15 years 2 months ago
2007
In a recent paper, probabilistic processes are used to generate Borel probability measures on topological spaces X that are equipped with a representation in the sense of Type-2 T...
116
click to vote
APAL
2005
15 years 2 months ago
2005
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragm...
100
Voted
NN
1998
Springer
15 years 2 months ago
1998
Springer
The cusp bifurcation provides one of the simplest routes leading to bistability and hysteresis in neuron dynamics. We show that weakly connected networks of neurons near cusp bifu...
91
Voted
ACS
2010
15 years 2 months ago
2010
We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modu...