Univ. of Ljubljana, FGG IKPIR, Chair of Construction Informatics Logic of Engineering Designing Žiga Turk.