Monotonic reductions, representative equivalence, and compilation of intractable problems
Journal of the ACM (JACM)
Some Operators for Iterated Revision
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Horn complements: towards horn-to-horn belief revision
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
On the use of matrices for belief revision
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
On the complexity of theory curbing
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Hi-index | 0.00 |