Sciweavers

150 search results - page 3 / 30
» On the Logic of Merging
Sort
View
FOIKS
2008
Springer
15 years 7 months ago
Merging First-Order Knowledge Using Dilation Operators
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases exp...
Nikos Gorogiannis, Anthony Hunter
108
Voted
IMC
2003
ACM
15 years 11 months ago
Merging logical topologies using end-to-end measurements
Mark Coates, Michael Rabbat, Robert D. Nowak
114
Voted
KR
1998
Springer
15 years 10 months ago
On the Logic of Merging
Sébastien Konieczny, Ramón Pino P&ea...
109
Voted
TCAD
2010
85views more  TCAD 2010»
15 years 20 days ago
Fast Node Merging With Don't Cares Using Logic Implications
Yung-Chih Chen, Chun-Yao Wang
ENTCS
2006
214views more  ENTCS 2006»
15 years 6 months ago
A Generalization of ACP Using Belnap's Logic
ACP is combined with Belnap's four-valued logic via conditional composition (if
Alban Ponse, Mark van der Zwaag