Follow
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
592011
A general framework for measuring inconsistency through minimal inconsistent sets
K Mu, W Liu, Z Jin
Knowledge and Information Systems 27, 85-114, 2011
592011
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
452012
Measuring inconsistency in requirements specifications
K Mu, Z Jin, R Lu, W Liu
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2005
372005
An Approach to Combination of Conflicting Evidences by Disturbance of Ignorance
ZQ LIN, KD MU, Q HAN
Journal of Software 8, 005, 2004
34*2004
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
312011
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
252009
Responsibility for inconsistency
K Mu
International Journal of Approximate Reasoning 61, 43-60, 2015
242015
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-907, 2011
182011
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
172013
Measuring inconsistency with constraints for propositional knowledge bases
K Mu
Artificial intelligence 259, 52-90, 2018
162018
Approaches to measuring inconsistency for stratified knowledge bases
K Mu, K Wang, L Wen
International Journal of Approximate Reasoning 55 (2), 529-556, 2014
162014
Handling non-canonical software requirements based on annotated predicate calculus
K Mu, Z Jin, R Lu, Y Peng
Knowledge and information systems 11, 85-104, 2007
142007
Preferential multi-context systems
K Mu, K Wang, L Wen
International Journal of Approximate Reasoning 75, 39-56, 2016
132016
A merging-based approach to handling inconsistency in locally prioritized software requirements
K Mu, W Liu, Z Jin, R Lu, A Yue, D Bell
Knowledge Science, Engineering and Management: Second International …, 2007
132007
Random logic programs: Linear model
K Wang, L Wen, K Mu
Theory and Practice of Logic Programming 15 (6), 818-853, 2015
92015
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
K Mu, Z Jin, 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
Combining meta-graph and attention for recommendation over heterogenous information network
C Zhao, H Wang, Y Li, K Mu
Database Systems for Advanced Applications: 24th International Conference …, 2019
82019
The system can't perform the operation now. Try again later.
Articles 1–20