Miller, Rob - In: Aslib Proceedings 58 (2006) 1/2, pp. 140-151
Purpose – The purpose of this article is to give a non‐technical overview of some of the technical progress made recently on tackling three fundamental problems in the area of formal knowledge representation/artificial intelligence. These are the Frame Problem, the Ramification Problem, and...