Tarek R. Besold, Robert Robere. When Thinking Never Comes to a Halt: Using Formal Methods in Making Sure Your AI Gets the Job Done Good Enough. In Vincent C. Müller, editor, Fundamental Issues of Artificial Intelligence - 2nd Conference on Philosophy and Theory of Artificial Intelligence, PT-AI 2013, Oxford, UK, September 21-22, 2013, selected and invited papers. Volume 376 of Synthese Library, pages 43-62, Springer, 2013. [doi]
Abstract is missing.