148 search results - page 18 / 30 » On the Fusion of Coalgebraic Logics |
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
The problem of merging multiple sources information is central in many information processing areas such as databases integration problems, multiple criteria decision making, exper...
DLOG
2000
13 years 8 months ago
2000
JAIR
2002
13 years 7 months ago
2002
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
CALCO
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...