Knowledge representation and reasoning - Stamou, Georgios; Στάμου, Γεώργιος (2016)