Reasoning with Four-Valued Logic in Multi-robotic Search-and-Rescue Problem. - Lukasz Bialek; Jacek Szklarski; Marta M. Borkowska; Michal Gnatowski (AUTOMATION, 2016)