SyLAR - The System for Logic and Automated Reasoning for Situation Management Decision Support Systems. - Erika Matsak; Tarmo Lehtpuu; Peeter Lorents (KES-IDT, 2015)