- From: Vic Bancroft <bancroft@america.net>
- Date: Mon, 27 Jun 2005 22:10:28 -0400
- To: Michael Kifer <kifer@cs.sunysb.edu>
- CC: Bijan Parsia <bparsia@isr.umd.edu>, www-rdf-logic@w3.org, public-sws-ig <public-sws-ig@w3.org>, www-rdf-rules@w3.org
Michael Kifer wrote: >I think the (nonmonotonic) rule-based side of the stack is very mature (I >dare say more mature than the "other" side :-) > Well, do you think that nonmonotonic systems (that change the derivability relation) are preferred ? There are those that suggest that a classical monotonic reasoning system over an instance model that changes over time only `appears` to be nonmonotonic . . . more, l8r, v -- america sig
Received on Tuesday, 28 June 2005 02:10:38 UTC