Non-monotonic reasoning : methods which show potential for large systems

Keywords: 245B/ICOM Reference ICOM-CONF-1991-003 Record created on 2008-01-24, modified on 2016-08-08