A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Inferring from Inconsistency in Preference-Based Argumentation Frameworks
Journal of Automated Reasoning
Current Approaches to Handling Imperfect Information in Data and Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
authUML: a three-phased framework to analyze access control specifications in use cases
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Information and Software Technology
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Information and Software Technology
Supporting structures for evolving systems development: a case study
International Journal of Information Technology and Management
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Proving theorems in a multi-source environment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Qualitative reasoning about consistency in geographic information
Information Sciences: an International Journal
Knowledge and Information Systems
Measures of inconsistency and defaults
International Journal of Approximate Reasoning
Measuring consistency with respect to topological dependency constraints
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
The consistency of the CADIAG-2 knowledge base: a probabilistic approach
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Dialectic resoning with inconsistent information
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Argumentation as a general framework for uncertain reasoning
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Introduction to inconsistency tolerance
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
A logic of inductive implication or artificial intelligence meets philosophy of science II
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
Detecting suspect answers in the presence of inconsistent information
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Does intelligence imply contradiction?
Cognitive Systems Research
A preferential framework for trivialization-resistant reasoning with inconsistent information
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |