W3C home > Mailing lists > Public > www-rdf-logic@w3.org > December 2001

Re: Logic and proof tutorial resources

From: Piotr Kaminski <piotr@ideanest.com>
Date: Tue, 11 Dec 2001 17:24:23 -0800
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: www-rdf-logic@w3.org
Message-id: <010a01c182ad$aef61340$ada15018@gv.shawcable.net> 
> >[1] http://www.wikipedia.com/wiki/Larrys_Text
> I really would not recommend this, to be honest.

What can you recommend?  I'm currently working my way through Sowa's
Knowledge Representation book (2000).  It's not exactly easy going, but it
seems to be relevant.  What's your opinion?

        -- P.

--
  Piotr Kaminski <piotr@ideanest.com>  http://www.ideanest.com/
  "It's the heart afraid of breaking that never learns to dance."
Received on Tuesday, 11 December 2001 20:33:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:48 GMT