Non-monotonic reasoning internat. workshop ; proceedings ; New Paltz, NY, Oct. 17 - 19, 1984 (1985)