Towards a framework for managing inconsistency between multiple views
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
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
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
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
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
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Quasi-possibilistic logic and its measures of information and conflict
Fundamenta Informaticae
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Paraconsistent Reasoning with Quasi-classical Semantic in $\mathcal{ALC}$
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
A Tableau Algorithm for Handling Inconsistency in OWL
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
The Conceptual Framework To User-Oriented Content Management
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
A Default Logic Patch for Default Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Quantifying information and contradiction in propositional logic through test actions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Evaluating significance of inconsistencies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the measure of incoherence in extended residuated logic programs
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Diagnosis and semi-automatic correction of detected design inconsistencies in source code
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
Large-scale organizational computing requires unstratified reflection and strong paraconsistency
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Extending paraconsistent SROIQ
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
Strong paraconsistency by separating composition and decomposition in classical logic
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Introduction to inconsistency tolerance
Inconsistency Tolerance
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Approaches to measuring inconsistent information
Inconsistency Tolerance
Towards a paradoxical description logic for the semantic web
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Detecting suspect answers in the presence of inconsistent information
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
New measures for maintaining the quality of databases
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Paraconsistent reasoning for semantic web agents
Transactions on Compuational Collective Intelligence VI
Quasi-Possibilistic Logic and its Measures of Information and Conflict
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Hi-index | 0.00 |