Approximation of Relations by Propositional Formulas: Complexity and Semantics
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
An efficient algorithm for Horn description
Information Processing Letters
Structure identification of Boolean relations and plain bases for co-clones
Journal of Computer and System Sciences
Propositional abduction is almost always hard
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Belief revision within fragments of propositional logic
Journal of Computer and System Sciences
Hi-index | 0.91 |