Author:Moodley, K; Meyer, T; Varzinczak, IJDate:Oct 2012Classical reasoning for logic-based KR (Knowledge Representation) systems is in general, monotonic. That is, there is an assumption in these systems that there is complete information about a domain. This means that they generally cannot deal ...Read more