Kedian Mu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The interior of inconsistency in a knowledge base International Journal of Approximate Reasoning	2024-04-18	Paper
The degree of conflict between formulas in an inconsistent knowledge base	2022-06-15	Paper
Intrinsic approaches to prioritizing diagnoses in multi-context systems Artificial Intelligence	2021-08-16	Paper
Formulas free from inconsistency: an atom-centric characterization in Priest's minimally inconsistent LP Journal of Artificial Intelligence Research	2019-10-11	Paper
Measuring inconsistency with constraints for propositional knowledge bases Artificial Intelligence	2018-06-26	Paper
Random logic programs: linear model Theory and Practice of Logic Programming	2017-11-09	Paper
Preferential multi-context systems International Journal of Approximate Reasoning	2016-05-27	Paper
Responsibility for inconsistency International Journal of Approximate Reasoning	2015-11-17	Paper
Approaches to measuring inconsistency for stratified knowledge bases International Journal of Approximate Reasoning	2015-07-10	Paper
Managing software requirements changes based on negotiation-style revision Journal of Computer Science and Technology	2014-02-06	Paper
From inconsistency handling to non-canonical requirements management: a logical perspective International Journal of Approximate Reasoning	2013-06-13	Paper
Measuring the blame of each formula for inconsistent prioritized knowledge bases Journal of Logic and Computation	2012-06-20	Paper
A syntax-based approach to measuring the degree of inconsistency for belief bases International Journal of Approximate Reasoning	2011-11-22	Paper
A priority-based negotiations approach for handling inconsistencies in multi-perspective software requirements Journal of Systems Science and Complexity	2009-10-15	Paper
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging Fundamenta Informaticae	2009-06-23	Paper
AI 2005: Advances in Artificial Intelligence Lecture Notes in Computer Science	2006-11-14	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Lecture Notes in Computer Science	2006-06-23	Paper
scientific article; zbMATH DE number 2112471 (Why is no real title available?)	2004-10-28	Paper

Research outcomes over time

This page was built for person: Kedian Mu