Autoepistemic logic and introspective circumscription
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Circumscription and definability
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Artificial Intelligence
Hi-index | 0.00 |