Michael Reinfrank

1 paper in the IJCAI proceedings

IJCAI 1989

On the Relation Between Truth Maintenance and Autoepistemic Logic

with Oskar Dressler, Gerhard Brewka

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings