Author:Moodley, K; Meyer, T; Sattler, UDate:Aug 2014Abstract. The preferential approach to nonmonotonic reasoning was consolidated
in depth by Krause, Lehmann and Magidor (KLM) for propositional
logic in the early 90's. In recent years, there have been e orts to
extend their framework to ...Read more
Author:Thomas, A; Gerber, AJ; Van der Merwe, ADate:Nov 2015Diagrams are often studied as visual languages with an abstract and a concrete syntax (concrete syntax is often referred to as visual syntax), where the latter contains the visual representations of the concepts in the former. A formal ...Read more