Output details
11 - Computer Science and Informatics
Queen's University Belfast
Return to search
Output 0 of 0 in the submission
Article title
From inconsistency handling to non-canonical requirements management: A logical perspective
Type
D - Journal article
Title of journal
International Journal of Approximate Reasoning
Article number
-
Volume number
54
Issue number
1
First page of article
109
ISSN of journal
0888-613X
Year of publication
2013
Number of additional authors
3
Additional information
<22>This paper, published in one of the most prestigious journals in AI, crosses the disciplinary boundaries of Software Engineering and AI. The work in the paper was supported by a collaborative project funded by the Royal Society and Chinese Academy of Sciences. Though logic-based approaches have been proposed to handle inconsistency in requirements specification, inconsistency is not an isolated problem, which is often linked to incompleteness and redundancy. The paper is the first to propose logic-based approaches for collectively managing these three defects.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Knowledge and Data Engineering (KDE)
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
