[Attempto] Attempto reasoner (RACE) status ?

[David Whitten]

Thanks for the update.
I have followed your work for almost 20 years since 2003. I am very glad
that things are progressing
and your work is finally getting some recognition.

Dave Whitten
713-870-3834


On Sat, May 29, 2021 at 5:40 AM Norbert E. Fuchs <fuchs at ifi.uzh.ch> wrote:

>
>
> > On 28 May 2021, at 18:30 , David Whitten <whitten at worldvista.org> wrote:
> >
> > I have an email from Norbert from 2014 in which he mentioned that he was
> working on RACE.
> > What is the status of this reasoner ?
> >
> > Thanks,
> > Dave Whitten
> > 713-870-3834
>
>
> Dave
>
> 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.
>
> 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.
>
> All of this is – as before – available through RACE's web-service and
> RACE's web-interface.
>
> The time has now come to wrap up, to clean up the code, to update the
> documentation, and to finally publish the RACE code.
>
> Best regards.
>
>    --- nef
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20210616/8dcca678/attachment.html>