From inconsistency handling to non-canonical requirements management: a logical perspective

DOI10.1016/J.IJAR.2012.07.006zbMATH Open1266.68092OpenAlexW2100243047MaRDI QIDQ2375349

Weiru Liu, Zhi Jin, J. Hong, Kedian Mu

Publication date: 13 June 2013

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2012.07.006

zbMATH Keywords

redundancyincompletenessrequirements engineeringinconsistency handlingnon-canonical requirements

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (5)

• Measuring inconsistency with constraints for propositional knowledge bases
• Responsibility for inconsistency
• A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
• Approaches to measuring inconsistency for stratified knowledge bases
• Policy-based inconsistency management in relational databases

This page was built for publication: From inconsistency handling to non-canonical requirements management: a logical perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2375349)