Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Non-deterministic Multiple-valued Structures
Journal of Logic and Computation
Non-deterministic semantics for logics with a consistency operator
International Journal of Approximate Reasoning
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence
Commonsense reasoning by distance semantics
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
ICDT'07 Proceedings of the 11th international conference on Database Theory
Reasoning with Uncertainty by Nmatrix---Metric Semantics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
| Hi-index | 0.00 |
Representing uncertainty and reasoning with dynamically evolving systems are two related issues that are in the heart of many information systems. In this paper we show that these tasks can be successfully dealt with by incorporating distance semantics and non-deterministic matrices. The outcome is a general framework for capturing the principle of minimal change and providing a non-deterministic view of the domain of discourse. We investigate some properties of the entailment relations that are induced by this framework and demonstrate their usability in some test-cases.