SMART: Oblast Prostor a logika