no code implementations • 4 Apr 2022 • Samantha Petersone, Alwin Tan, Richard Allmendinger, Sujit Roy, James Hales
The core activity of a Private Equity (PE) firm is to invest into companies in order to provide the investors with profit, usually within 4-7 years.
Explainable artificial intelligence Explainable Artificial Intelligence (XAI)
no code implementations • 16 Feb 2012 • Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat
In this paper we present {\em refinement modal logic}.