Author:Leenen, L; Meyer, TDate:Mar 2015Governments, military forces and other organisations responsible for cybersecurity deal with vast amounts of data that has to be understood in order to lead to intelligent decision making. Semantic technologies is a knowledge representation ...Read more
Author:Booth, R; Casini, G; Meyer, T; Varzinczak, IDate:Mar 2015We continue recent investigations into the problem of reasoning about typicality. We do so in the framework of Propositional Typicality Logic (PTL), which is obtained by enriching classical propositional logic with a typicality operator and ...Read more