Re: SWSL declarative semantics

From: Michael Kifer <kifer@cs.sunysb.edu>
Subject: Re: SWSL declarative semantics
Date: Fri, 21 Nov 2003 10:21:55 -0500

> 
> Peter F. Patel-Schneider writes:
> >
> > From: Michael Kifer <kifer@cs.sunysb.edu>
> > Subject: Re: SWSL declarative semantics
> > Date: Fri, 21 Nov 2003 08:35:22 -0500

[...]

> > Even the simple translation from SKIF to FOL is rather suspect in this
> > regards.
> 
> Did you mean HiLog? What is SKIF? :-)

SKIF is one name for a part of the Common Logic work (http://cl.tamu.edu/).
See http://reliant.teknowledge.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf
for a paper on SKIF.  LBase (http://www.w3.org/TR/lbase) is a somewhat
similar logic.  These logics have a higher-order syntax but don't have all
the power of even second-order logic and can be (relatively) easily
translated into standard FOL.

[...]

> 	--michael  

peter

Received on Friday, 21 November 2003 10:38:33 UTC