On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of logic-based abduction
Journal of the ACM (JACM)
The complexity of nested counterfactuals and iterated knowledge base revisions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Hi-index | 0.00 |