Kedian Mu
Kedian Mu
Verified email at math.pku.edu.cn
Title
Cited by
Cited by
Year
A syntax-based approach to measuring the degree of inconsistency for belief bases
K Mu, W Liu, Z Jin, D Bell
International Journal of Approximate Reasoning 52 (7), 978-999, 2011
572011
A general framework for measuring inconsistency through minimal inconsistent sets
K Mu, W Liu, Z Jin
Knowledge and Information Systems 27 (1), 85-114, 2011
552011
An Approach to Combination of Conflicting Evidences by Disturbance of Ignorance
ZQ LIN, KD MU, Q HAN
Journal of Software 8, 005, 2004
45*2004
Measuring the blame of each formula for inconsistent prioritized knowledge bases
K Mu, W Liu, Z Jin
Journal of Logic and Computation 22 (3), 481-516, 2012
442012
Measuring inconsistency in requirements specifications
K Mu, Z Jin, R Lu, W Liu
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2005
342005
Measuring inconsistency in a network intrusion detection rule set based on snort
K McAreavey, W Liu, P Miller, K Mu
International Journal of Semantic Computing 5 (03), 281-322, 2011
302011
Handling inconsistency in distributed software requirements specifications based on prioritized merging
K Mu, W Liu, Z Jin, R Lu, A Yue, D Bell
Fundamenta Informaticae 91 (3-4), 631-670, 2009
232009
Responsibility for inconsistency
K Mu
International Journal of Approximate Reasoning 61, 43-60, 2015
192015
Measuring the significance of inconsistency in the viewpoints framework
K Mu, Z Jin, W Liu, D Zowghi, B Wei
Science of Computer Programming 78 (9), 1572-1599, 2013
162013
Managing software requirements changes based on negotiation-style revision
KD Mu, W Liu, Z Jin, J Hong, D Bell
Journal of Computer Science and Technology 26 (5), 890, 2011
162011
Approaches to measuring inconsistency for stratified knowledge bases
K Mu, K Wang, L Wen
International Journal of Approximate Reasoning 55 (2), 529-556, 2014
142014
A merging-based approach to handling inconsistency in locally prioritized software requirements
K Mu, W Liu, Z Jin, R Lu, A Yue, D Bell
International Conference on Knowledge Science, Engineering and Management …, 2007
122007
Handling non-canonical software requirements based on annotated predicate calculus
K Mu, Z Jin, R Lu, Y Peng
Knowledge and information systems 11 (1), 85-104, 2007
122007
Preferential multi-context systems
K Mu, K Wang, L Wen
International Journal of Approximate Reasoning 75, 39-56, 2016
102016
From inconsistency handling to non-canonical requirements management: A logical perspective
K Mu, J Hong, Z Jin, W Liu
International journal of approximate reasoning 54 (1), 109-131, 2013
92013
A Priority-Based Negotiations Approach for Handling Inconsistencies in Multi-Perspective Software Requirements
MU Kedian, JIN Zhi, D Zowghi
Journal of Systems Science and Complexity 21 (4), 574-596, 2008
92008
Identifying acceptable common proposals for handling inconsistent software requirements
K Mu, Z Jin
International Conference on Formal Techniques for Networked and Distributed …, 2007
92007
视点合成中重叠需求的不一致优先级处理
牟克典, 金芝, 陆汝钤
计算机学报 27 (10), 1379-1387, 2004
82004
Measuring inconsistency with constraints for propositional knowledge bases
K Mu
Artificial Intelligence 259, 52-90, 2018
72018
Random logic programs: Linear model
K Wang, L Wen, K Mu
Theory and Practice of Logic Programming 15 (6), 818-853, 2015
72015
The system can't perform the operation now. Try again later.
Articles 1–20