A Foundation for Metareasoning, Part I: The Proof Theory (1997)

by Giovanni Criscuolo , Fausto Giunchiglia , Luciano Serafini
Citations:13 - 5 self