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:Booth, R; Meyer, T; Varzinczak, IDate:Aug 2013We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ...Read more