Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Propositional knowledge base revision and minimal change
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Modal logics for qualitative possibility and beliefs
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
ACM Transactions on Database Systems (TODS)
Combining databases with prioritized information
Journal of Intelligent Information Systems
Reasoning about knowledge
On the logic of iterated belief revision
Artificial Intelligence
A sequential reversible belief revision method based on polynomials
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Belief Fusion: Aggregating Pedigreed Belief States
Journal of Logic, Language and Information
A Logical Approach to Multi-Sources Reasoning
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Generalized update: belief change in dynamic settings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Recent Literature Collected by Didier DUBOIS, Henri PRADE and Salvatore SESSA
Fuzzy Sets and Systems
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Arrow decision logic for relational information systems
Transactions on Rough Sets V
| Hi-index | 0.00 |