Using a belief revision operator for document ranking in extended Boolean models
Proceedings of the 22nd annual international ACM SIGIR conference on Research and development in information retrieval
Preprocessing of intractable problems
Information and Computation
Database Repairs and Analytic Tableaux
Annals of Mathematics and Artificial Intelligence
A consistency-based approach for belief change
Artificial Intelligence
Compiling propositional weighted bases
Artificial Intelligence - Special issue on nonmonotonic reasoning
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
Hi-index | 0.00 |