[Attempto] How to execute queries

[Norbert E. Fuchs]

> On 18 Apr 2016, at 3:11 , Eckart Bindewald <bindewald at gmail.com> wrote:
> 
> ... Using the RACE web server, I was within minutes able to obtain useful reasoning for practice purposes ...

Eckart

To learn more about RACE read my paper 

Norbert E. Fuchs
First-Order Reasoning for Attempto Controlled English
Proceedings of the Second International Workshop on Controlled Natural Language (CNL 2010)
Springer, 2012

http://attempto.ifi.uzh.ch/site/pubs/papers/cnl2010main_fuchs.pdf

I submitted a follow-up paper describing reasoning in arithmetic and non-monotonic reasoning to the workshop CNL 2016. This paper is not yet public.

Best regards.

   --- nef