Sciweavers

1121 search results - page 6 / 225
» Logics of Complementarity in Information Systems
Sort
View
ECSQARU
2003
Springer
14 years 23 days ago
Epistemic Logics for Information Fusion
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
Churn-Jung Liau
ISMVL
2000
IEEE
90views Hardware» more  ISMVL 2000»
13 years 12 months ago
Structures with Many-Valued Information and Their Relational Proof Theory
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
Ivo Düntsch, Wendy MacCaull, Ewa Orlowska
CIKM
1994
Springer
13 years 11 months ago
LogicBase: A Deductive Database System Prototype
Jiawei Han, Ling Liu, Zhaohui Xie
MSR
2006
ACM
14 years 1 months ago
The evolution radar: visualizing integrated logical coupling information
In software evolution research logical coupling has extensively been used to recover the hidden dependencies between source code artifacts. They would otherwise go lost because of...
Marco D'Ambros, Michele Lanza, Mircea Lungu