On the Relation Between Truth Maintenance and Autoepistemic Logic.

Michael Reinfrank, Oskar Dressler, Gerhard Brewka

Browse the full IJCAI paper archive.