Constructive tightly grounded autoepistemic reasoning
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Hi-index | 0.00 |