Handbook of logic in artificial intelligence and logic programming (vol. 3)
On the logic of iterated belief revision
Artificial Intelligence
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Iterated belief revision, revised
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
ICDT'07 Proceedings of the 11th international conference on Database Theory
Distance-Based repairs of databases
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Reasoning with Uncertainty by Nmatrix---Metric Semantics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Distance-Based Non-Deterministic Semantics
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Some simplified forms of reasoning with distance-based entailments
Canadian AI'08 Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence
Hi-index | 0.00 |
We introduce a uniform distance semantics for different paradigms that require nonmonotonic and paraconsistent reasoning, among which are mediators of independent data-sources, integrators of prioritized knowledge-bases, operators for iterated belief revision, and analytic tools of decision support systems. We show that the consequence relations that are induced by our framework share some desirable properties and demonstrate this by relevant applications.