Towards a general theory of action and time
Artificial Intelligence
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Reasoning about knowledge
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
The logic of knowledge bases
PREPARE: A Tool for Knowledge Base Verification
IEEE Transactions on Knowledge and Data Engineering
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
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Quality Measures and Assurance for AI (Artificial Intelligence) Software
Quality Measures and Assurance for AI (Artificial Intelligence) Software
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
A unifying semantics for time and events
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
Communications of the ACM
Truth Discovery with Multiple Conflicting Information Providers on the Web
IEEE Transactions on Knowledge and Data Engineering
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
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Approaches to measuring inconsistent information
Inconsistency Tolerance
Inconsistency issues in spatial databases
Inconsistency Tolerance
Heterogeneous network-based trust analysis: a survey
ACM SIGKDD Explorations Newsletter
Perspectives on Cognitive Informatics and Cognitive Computing
International Journal of Cognitive Informatics and Natural Intelligence
Inconsistency-Induced Learning for Perpetual Learners
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
Inconsistent knowledge and information in the real world often have to do with not only what conflicting circumstances are but also when they happen. As a result, only scrutinizing the logical forms that cause inconsistency may not be adequate. In this paper we describe our research work on the temporal characteristics of inconsistent knowledge that can exist in an intelligent system. We provide a formal definition for temporal inconsistency that is based on a logical-conflicting and temporal-coinciding dichotomy. The interval temporal logic underpins our treatment of temporally inconsistent propositions in a knowledge base. We also propose a systematic approach to identifying conflicting intervals for temporally inconsistent propositions. The results help delineate the semantic difference between the classical and temporal inconsistency.