Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Nonmonotonic reasoning: from complexity to algorithms
Annals of Mathematics and Artificial Intelligence
Propositional lower bounds: Algorithms and complexity
Annals of Mathematics and Artificial Intelligence
A survey on knowledge compilation
AI Communications
The comparative linguistics of knowledge representation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The complexity of theory revision
Artificial Intelligence
Belief revision within fragments of propositional logic
Journal of Computer and System Sciences
Hi-index | 0.00 |