4949 search results - page 292 / 990 » Consistency and Set Intersection |
148
click to vote
JELIA
2004
Springer
16 years 4 days ago
2004
Springer
We present a framework for expressing different merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revisi...
176
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...
178
click to vote
LICS
2003
IEEE
16 years 1 days ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
186
click to vote
DEXA
2003
Springer
16 years 7 hour ago
2003
Springer
XML is rapidly becoming one of the most adopted standard for information representation and interchange over the Internet. With the proliferation of mobile devices of communication...
166
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
We present an approach to the cell formation problem, known from group technology, which is inspired by formal concept analysis. The cell formation problem consists in allocating p...