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 | 62 | 2011 |
A general framework for measuring inconsistency through minimal inconsistent sets K Mu, W Liu, Z Jin Knowledge and Information Systems 27, 85-114, 2011 | 62 | 2011 |
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 | 48 | 2012 |
Measuring inconsistency in requirements specifications K Mu, Z Jin, R Lu, W Liu European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2005 | 40 | 2005 |
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 | 33 | 2011 |
Responsibility for inconsistency K Mu International Journal of Approximate Reasoning 61, 43-60, 2015 | 27 | 2015 |
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 | 26 | 2009 |
Measuring inconsistency with constraints for propositional knowledge bases K Mu Artificial intelligence 259, 52-90, 2018 | 18 | 2018 |
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 | 18 | 2013 |
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 | 18 | 2011 |
Approaches to measuring inconsistency for stratified knowledge bases K Mu, K Wang, L Wen International Journal of Approximate Reasoning 55 (2), 529-556, 2014 | 17 | 2014 |
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 | 14 | 2007 |
Preferential multi-context systems K Mu, K Wang, L Wen International Journal of Approximate Reasoning 75, 39-56, 2016 | 13 | 2016 |
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 | 13 | 2007 |
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 | 11 | 2013 |
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 | 10 | 2008 |
Identifying acceptable common proposals for handling inconsistent software requirements K Mu, Z Jin International Conference on Formal Techniques for Networked and Distributed …, 2007 | 10 | 2007 |
Random logic programs: Linear model K Wang, L Wen, K Mu Theory and Practice of Logic Programming 15 (6), 818-853, 2015 | 9 | 2015 |
Formulas free from inconsistency: an atom-centric characterization in priest's minimally inconsistent LP K Mu Journal of Artificial Intelligence Research 66, 279-296, 2019 | 8 | 2019 |