When Thinking Never Comes To A Halt: Using Formal Methods in Making Sure Your AI Gets the Job Done Good Enough
Tarek R. Besold and Robert Robere
Fundamental Issues of Artificial Intelligence (2016). Volume 376:43-62. [DOI]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Tarek R. Besold and Robert Robere
Fundamental Issues of Artificial Intelligence (2016). Volume 376:43-62. [DOI]