Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
First-order logic and automated theorem proving
First-order logic and automated theorem proving
ICSE '90 Proceedings of the 12th international conference on Software engineering
Automated reasoning (2nd ed.): introduction and applications
Automated reasoning (2nd ed.): introduction and applications
Proving properties of a safety-critical system
Software Engineering Journal - Special issue on safety-critical systems
Consistency in software system development: framework, model, techniques & tools
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
“Lazy” consistency: a basis for cooperative software development
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
Decentralised process enactment in a multi-perspective development environment
Proceedings of the 17th international conference on Software engineering
How to deal with deviations during process model enactment
Proceedings of the 17th international conference on Software engineering
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Modularized exception handling
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ICSE '91 Proceedings of the 13th international conference on Software engineering
Handbook of defeasible reasoning and uncertainty management systems
Representing Uncertain Knowledge: An Artificial Intelligence Approach
Representing Uncertain Knowledge: An Artificial Intelligence Approach
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Model Building and Interactive Theory Discovery
TABLEAUX '95 Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
A Method for Building Models Automatically. Experiments with an Extension of OTTER
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Managing inconsistencies in an evolving specification
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Analyzing Inconsistent Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
To Be and Not to Be: On Managing Inconsistency in Software Development
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A comedy of errors: the London Ambulance Service case study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
On the Consequences of Acting in the Presence of Inconsistency
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering
Proceedings of the 24th International Conference on Software Engineering
A micro-economic approach to conflict resolution in mobile computing
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A micro-economic approach to conflict resolution in mobile computing
ACM SIGSOFT Software Engineering Notes
Negative scenarios for implied scenario elicitation
ACM SIGSOFT Software Engineering Notes
Guest Editorial: Introduction to the Special Section
IEEE Transactions on Software Engineering
Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Consistency Management of Financial XML Documents
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Semantic Tableau Version of First-Order Quasi-Classical Logic
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Model-Checking over Multi-valued Logics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Journal of Systems and Software
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
Knowledge Base Approach to Consistency Management of UML Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Desires, Norms and Constraints
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Database collaboration instead of integration
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal support for merging and negotiation
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Towards automated consistency checks of product line requirements specifications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Information and Software Technology
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Paraconsistent Reasoning with Quasi-classical Semantic in $\mathcal{ALC}$
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Verifying Software Requirements Based on Answer Set Programming
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Consistent Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Diagnosis and semi-automatic correction of detected design inconsistencies in source code
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
A merging-based approach to handling inconsistency in locally prioritized software requirements
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Concurrent modeling in early phases of the software development life cycle
CRIWG'10 Proceedings of the 16th international conference on Collaboration and technology
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inconsistency-based strategy for clarifying vague software requirements
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Reasoning about inconsistent concurrent systems: a non-classical temporal logic
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Measuring inconsistency in requirements specifications
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Properties of behavioural model merging
FM'06 Proceedings of the 14th international conference on Formal Methods
An approach to generating proposals for handling inconsistent software requirements
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Managing software requirements changes based on negotiation-style revision
Journal of Computer Science and Technology - Special issue on Community Analysis and Information Recommendation
Agile requirements evolution via paraconsistent reasoning
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
From inconsistency handling to non-canonical requirements management: A logical perspective
International Journal of Approximate Reasoning
A Blame-Based Approach to Generating Proposals for Handling Inconsistency in Software Requirements
International Journal of Knowledge and Systems Science
Turning Conflicts into Collaboration
Computer Supported Cooperative Work
Hi-index | 0.00 |
In previous work, we advocated continued development of specifications in the presence of inconsistency. To support this, we used classical logic to represent partial specifications and to identify inconsistencies between them. We now present an adaptation of classical logic, which we term quasi-classical (QC) logic, that allows continued reasoning in the presence of inconsistency. The adaptation is a weakening of classical logic that prohibits all trivial derivations, but still allows all resolvants of the assumptions to be derived. Furthermore, the connectives behave in a classical manner. We then present a development called labeled QC logic that records and tracks assumptions used in reasoning. This facilitates a logical analysis of inconsistent information. We discuss that application of labeled QC logic in the analysis of multiperspective specifications. Such specifications are developed by multiple particpants who hold overlapping, often inconsistent, views of the systems they are developing.