<div dir="ltr">Thanks for the update. <br><div>I have followed your work for almost 20 years since 2003. I am very glad that things are progressing<br>and your work is finally getting some recognition.</div><div><br></div><div>Dave Whitten</div><div>713-870-3834</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, May 29, 2021 at 5:40 AM Norbert E. Fuchs <<a href="mailto:fuchs@ifi.uzh.ch">fuchs@ifi.uzh.ch</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
> On 28 May 2021, at 18:30 , David Whitten <<a href="mailto:whitten@worldvista.org" target="_blank">whitten@worldvista.org</a>> wrote:<br>
> <br>
> I have an email from Norbert from 2014 in which he mentioned that he was working on RACE.<br>
> What is the status of this reasoner ?<br>
> <br>
> Thanks,<br>
> Dave Whitten<br>
> 713-870-3834<br>
<br>
<br>
Dave<br>
<br>
The work is finished in so far, as the most recent version of RACE covers all of ACE with the exception of those constructs that have no direct presentation in first-order logic, i.e. imperatives and two modalities. <br>
<br>
Also I added a functional extension to allow, for example, recursive algorithms. Furthermore, there are some extensions to cover common sense phenomena like Leibniz' law of inertia. These extensions will be described in two forthcoming papers.<br>
<br>
All of this is – as before – available through RACE's web-service and RACE's web-interface.<br>
<br>
The time has now come to wrap up, to clean up the code, to update the documentation, and to finally publish the RACE code.<br>
<br>
Best regards.<br>
<br>
   --- nef</blockquote></div>