Efficient Reasoning Using the Local Closed-World Assumption
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Computing strongest necessary and weakest sufficient conditions of first-order formulas
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
On the correctness of rough-set based approximate reasoning
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
| Hi-index | 0.00 |