[Attempto] Decidable subset of ACE

[Huan Nguyen]

Thank you both, great sources.

Huan


On Wed, Nov 14, 2012 at 9:47 PM, Norbert E. Fuchs <fuchs at ifi.uzh.ch> wrote:

>
> On 14 Nov 2012, at 10:25 , Kaarel Kaljurand <kaljurand at gmail.com> wrote:
>
> > In the literature you can also find decidable CNLs which at the same
> > time are subsets of ACE. See e.g. the papers listed on:
> >
> >  - http://www.cs.man.ac.uk/~ipratt/
>
> One specifically relevant paper is
>
> Pratt-Hartmann, I., Third, A. More fragments of language. Notre Dame
> Journal of Formal Logic, vol. 47(2), pp. 151—177 (2006)
>
>    --- nef
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20121115/a1ad412a/attachment.html>