pat hayes wrote: [...] > >Would you please elaborate on that? > > Chris Menzel and I are writing this up now. Draft available in a few days. > > >Are you just saying that the earlier KIF specs goofed, > >or are you saying that there's no way, in first order logic, > >to specify the set of finite lists? > > The latter. [...] Thanks. I don't understand after a quick read, but I'll keep chewing on it... -- Dan Connolly, W3C http://www.w3.org/People/Connolly/Received on Tuesday, 3 April 2001 15:45:59 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT