- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Wed, 03 May 2006 10:15:48 -0700
- To: "Peter F. Patel-Schneider" <pfps@inf.unibz.it>
- CC: bry@ifi.lmu.de, public-rif-wg@w3.org
Peter F. Patel-Schneider wrote: > From: Francois Bry <bry@ifi.lmu.de> > Subject: Re: [RIF] Reaction to the proposal by Boley, Kifer et al > Date: Wed, 03 May 2006 14:21:28 +0200 > > >>Peter F. Patel-Schneider wrote: >> >>>>This is based on a known logic: infinite Herbrand interpretations. >>>> >>> >>>Reference, please. >> >>I could maybe help in giving reference if I would understand what you >>are asking for. > > > A reference to logics based on infinite Herbrand intepretations that shows > how they relate to standard first-order logics. http://logic.stanford.edu/~thinrich/herbrand/html/index.html -- Hassan Aït-Kaci ILOG, Inc. - Product Division R&D tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com
Received on Wednesday, 3 May 2006 17:14:29 UTC