RE: Open world assumption reference from Jeremy Carroll on 2002-11-13 (www-rdf-logic@w3.org from November 2002)

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Wed, 13 Nov 2002 20:57:39 -0000
To: <waldinger@ai.sri.com>, "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: <www-rdf-logic@w3.org>
Message-ID: <ENEKKODIOPDFKPGAOLNIEEBGCAAA.jjc@hpl.hp.com>

> there used to be a book "logic for artificial intelligence" by raymond
> turner
> has some of that sort of stuff.  i haven't read it.
>

thanks for that prod - I looked on my boss's bookshelf and found Turner's
book - it had a pretty mind-blowing definition of monotonicty, near it was
Sowa's Knowledge Representation, which looks like a safer bet.

Jeremy

Received on Wednesday, 13 November 2002 15:54:03 UTC