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 sigReceived on Tuesday, 28 June 2005 02:10:44 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:35:05 GMT