Kedian Mu

Kedian Mu, Jun Hong, Zhi Jin, Weiru Liu: From inconsistency handling to non-canonical requirements management: A logical perspective. Int. J. Approx. Reasoning 54(1): 109-131 (2013)

Kedian Mu, Weiru Liu, Zhi Jin: A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements. IJKSS 3(1): 1-17 (2012)

Kedian Mu, Zhi Jin, Ruqian Lu: Measuring Software Requirements Evolution Caused by Inconsistency. Int. J. Software and Informatics 6(3): 419-434 (2012)

Kedian Mu, Weiru Liu, Zhi Jin: Measuring the blame of each formula for inconsistent prioritized knowledge bases. J. Log. Comput. 22(3): 481-516 (2012)

Kedian Mu, Weiru Liu, Zhi Jin, David A. Bell: A Syntax-based approach to measuring the degree of inconsistency for belief bases. Int. J. Approx. Reasoning 52(7): 978-999 (2011)

Kevin McAreavey, Weiru Liu, Paul Miller, Kedian Mu: Measuring Inconsistency in a Network Intrusion Detection Rule Set Based on Snort. Int. J. Semantic Computing 5(3): 281-322 (2011)

Kedian Mu, Weiru Liu, Zhi Jin, Jun Hong, David A. Bell: Managing Software Requirements Changes Based on Negotiation-Style Revision. J. Comput. Sci. Technol. 26(5): 890-907 (2011)

Kedian Mu, Weiru Liu, Zhi Jin: A general framework for measuring inconsistency through minimal inconsistent sets. Knowl. Inf. Syst. 27(1): 85-114 (2011)

Kedian Mu, Weiru Liu, Zhi Jin: An Approach to Generating Proposals for Handling Inconsistent Software Requirements. KSEM 2011: 32-43

Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue, David A. Bell: Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging. Fundam. Inform. 91(3-4): 631-670 (2009)

Kedian Mu, Qi Zhang, Zhi Jin: Verifying Software Requirements Based on Answer Set Programming. KSEM 2009: 263-274

Kedian Mu, Zhi Jin, Didar Zowghi: A Measurement-Driven Process Model for Managing Inconsistent Software Requirements. APSEC 2008: 291-298

Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng: Handling non-canonical software requirements based on Annotated Predicate Calculus. Knowl. Inf. Syst. 11(1): 85-104 (2007)

Kedian Mu, Zhi Jin: Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. FORTE 2007: 296-308

Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue, David A. Bell: A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements. KSEM 2007: 103-114

Kedian Mu, Zuoquan Lin, Zhi Jin, Ruqian Lu: Reasoning About Hybrid Probabilistic Knowledge Bases. PRICAI 2006: 130-139

Kedian Mu, Zhi Jin, Ruqian Lu: Inconsistency-Based Strategy for Clarifying Vague Software Requirements. Australian Conference on Artificial Intelligence 2005: 39-48

Kedian Mu, Zhi Jin, Ruqian Lu, Weiru Liu: Measuring Inconsistency in Requirements Specifications. ECSQARU 2005: 440-451

Kedian Mu, Zhi Jin, Ruqian Lu: A Logical Approach for Testing Requirements. IASTED Conf. on Software Engineering 2005: 408-413