A Case Study in Computer-Assisted Meta-reasoning.

Asta Halkjr From, Simon Tobias Lund, Jrgen Villadsen

Browse the full DCAI paper archive.