Constructive Tightly Grounded Autoepistemic Reasoning.

Ilkka Niemel

Browse the full IJCAI paper archive.