Efficient Reasoning Using the Local Closed-World Assumption
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Second-Order Quantifier Elimination in Modal Contexts
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
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
| Hi-index | 0.00 |